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.

Education

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

Awards

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

Publications

2023

Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation
Benjamin Bichsel, Maximilian Baader, Anouk Paradis, Martin Vechev
arXiv 2023

2022

Reqomp: Space-constrained Uncomputation for Quantum Circuits
Anouk Paradis, Benjamin Bichsel, Martin Vechev
arXiv 2022

2021

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

2020

Modular Relaxed Dependencies in Weak Memory Concurrency
Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright, Scott Owens, and Mark Batty
ESOP 2020