B.Sc. Informatics @ TUM
- Quantum Error Correction
- Formal Verification and Optimization
- Numerical Simulation and Scientific Computing
- Student Assistant @ TUM Chair of Design Automation
- Bachelor's Thesis: Automated Equivalence Checking of Stabilizer Codes
- Work: Develop and maintain mqt-qecc
- Member @ PushQuantum IT Department
- Project: Bloch/Poincaré Sphere Visualizer


