I am currently a Master student at the Formal Verification Group where my research interest falls in the intersection of mathematics and computer science. I develop formal techniques for verifying possibly noisy quantum programs against properties like robustness, safety, and privacy.
M.Sc. in Software Engineering, 2026
B.Sc. in Computer Science (Chu Kochen Honors College), 2023