My current research revolves around proof assistants and program verification. I often find myself distracted by related topics in verification, synthesis, and logic as well. I have briefly worked in quantum information theory as part of my bachelor's thesis before.
I am currently working primarily on the LISA proof assistant, writing proofs, and thinking about programs. Always happy to chat about computer science, maths, or physics!