I am a PhD student with a Master’s degree in Mathematics and a Bachelor’s degree in Computer Science. In my work, I am combining my expertise from both domains to develop design automation methods for quantum computing. My research focusses on classical simulation, compilation and, in particular, verification methods for quantum circuits.

### Interests

- Design Automation for Quantum Computing
- Decision Diagrams
- Equivalence Checking of Quantum Circuits

### Education

Bachelor's Degree in Computer Science, 2019

Johannes Kepler University Linz

Master's Degree in Industrial Mathematics, 2018

Johannes Kepler University Linz

Bachelor's Degree in Mathematics, 2016

Johannes Kepler University Linz