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 and tools for quantum computing. My research focuses on classical simulation, compilation and, in particular, verification methods for quantum circuits.

Interests

- Design Automation Methods and Tools for Quantum Computing
- Equivalence Checking of Quantum Circuits
- Efficient Datastructures for Quantum Computing (Decision Diagrams, Tensor Networks, ZX-calculus, etc.)

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