About

Hi! I'm a computer science graduate student from the Technical University of Munich. I mostly work with theoretical concepts of computer science, such as formal methods and CAV, decision procedures used for verifying safety-critical systems, or programming languages and their analysis.

Some topics I have recently worked on include temporal logic model checking, SSA-based program transformation, hardware synthesis, implementing and verifying constant-time cryptographic schemes, and using interactive protocols to certify the results of $𝐏𝐒𝐏𝐀𝐂𝐄$-complete problems in practice.

My previous work, mainly during my undergraduate education at HM, focused on RISC-V, hardware acceleration for WebAssembly, and efficient program interpreters for constrained devices like microcontrollers.