){kind=avatar}
Biography
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
Recent Publications
Quickly discover relevant content by filtering publications.
(2022).
Equivalence Checking of Quantum Circuits with the ZX-Calculus.
Journal of Emerging and Selected Topics in Circuits and Systems.
(2022).
A SAT Encoding for Optimal Clifford Circuit Synthesis.
arXiv:2208.11713 [quant-ph].
(2022).
Simulation Paths for Quantum Circuit Simulation with Decision Diagrams.
IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems.
(2022).
Towards a SAT Encoding for Quantum Circuits.
In International Conference on Theory and Applications of Satisfiability Testing.
(2022).
Equivalence Checking Paradigms in Quantum Circuit Design.
In Design Automation Conference.
(2022).
Handling Non-Unitaries in Quantum Circuit Equivalence Checking.
In Design Automation Conference.
Published Open-Source Software
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
*
Benchmarking Software and Design Automation Tools for Quantum Computing
Accomplishments
Advanced Teaching Certificate
Participated in the voluntary programme for scientific staff and successfully completed the Advanced Teaching Certificate with a total of 42 hours of courses.
JKU Young Researchers’ Award
Received the JKU Young Researchers’ Award from the Johannes Kepler University Linz for my contributions to the scientific community as part of my PhD.
2nd Place at the 10th annual NYUAD Hackathon for Social Good in the Arab World
Mentored a team of 8 people from all over the world at the 10th annual NYUAD Hackathon for Social Good in the Arab World. The resulting project, qVerified – a tool for verified quantum circuit compilation, achieved 2nd place.
Completed the 2021 Qiskit Global Summer School on Quantum Machine Learning
Completed the two-week intensive course provided by IBM Quantum, completing all graded lab work assignments with a final cumulative score above 75%, demonstrating applied understanding and comfort with and about Quantum Computing and Quantum Machine Learning using Qiskit
See certificateIBM Certified Associate Developer - Quantum Computation using Qiskit v0.2X
See certificateInvitation to IBM Qiskit Camp 2020
postponed due to COVID-19