CS student @ Technical University of Munich fascinated by everything theoretical - be it formal verification, optimization or automata.
I love working in my abstract and theoretical world.
With a minor in Physics, I'm set on pursuing further studies in Quantum Computing. Fittingly, I just finished writing my Bachelor's Thesis at TUM's Chair for Design Automation, focusing on Equivalence Checking of quantum error-correction codes and contributing to the Munich Quantum Toolkit. This thesis gave me the opportunity to start my work as a student assistant at the CDA, developing and maintaining their research software for quantum error correction. Currently, I am adapting my thesis to a journal paper.
While I'm moving toward a more theoretical focus in my studies and future research, I remain passionate about the topic of teaching and sharing knowledge effectively.
I have worked as a student assistant at TUM's Chair of Applied Educational Technologies for more than a year, where I developed competency networks for adaptive learning. I also co-authored a paper on the student's perspective on competency-based education.
I'm additionally committed to making scary-looking topics like Quantum Computing accessible to a broader audience, being a member of the IT Department in the student club PushQuantum.
When I'm not in front of a computer, I love drawing (take a look ^^), reading, swimming, cooking and learning new (natural and programming) languages.
Is being created as part of my Bachelor's Thesis and extended as a replication package of the subsequent paper. Implemented algorithms for checking permutation and local-Clifford equivalence of Stabilizer Codes (CSS and non-CSS).
Website visualizing a quantum state and transformation on the Bloch Sphere. Even tough WebDev is definitely not my calling, I enjoy the creative aspects and mathematical formulas. Created as part of my work in the student club PushQuantum.
Implementation of a simulator for different problems of molecular dynamics, including the Rayleigh-Taylor instability or the cooling process of Argon. I especially appreciated the affinity to physics, while having distinct aspects of software design/architecture, numerical methods and optimization opportunities. Created as part of my university practical course.
Contributions to the infrastructure of the communication platform Zulip, which is used in most of the computer science courses at TUM.