About me

I am Anouk Paradis, a PhD student at the Department of Computer Science, ETH Zürich. I am part of the Secure, Reliable, and Intelligent Systems Lab, supervised by Martin Vechev, starting October 2020.


  • ETH Zurich, 2018 - 2020
    Masters in Computer Science
  • Ecole polytechnique , 2015 - 2018
    Masters in Computer Science


2021 ETH Medal for Outstanding Master Thesis Awarded
2018 ETH Foundation Excellence Scholarship Awarded



Unqomp: Synthesizing Uncomputation in Quantum Circuits
Anouk Paradis, Benjamin Bichsel, Samuel Steffen, Martin Vechev
PLDI 2021