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.
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
developed as part of the Munich Quantum Toolkit (MQT—formerly known as JKQ) at the Technical University of Munich and the Johannes Kepler University Linz