I’m a master’s student at RUB with a growing interest in formal verification. I’m working as a research assistant at the “Secure Compilation” Group at MPI-SP, led by Prof. Cătălin Hrițcu. I’m interested in applying programming languages and compiler theory for developing formally verified defenses against various attacks on software.
Before that, I worked and did my bachelor thesis at the Heinz-Nixdorf Research Group for Cryptocurrencies and Smart Contracts, led by Dr. Clara Schneidewind. There, I worked on developing a static analysis procedure for verifying (Ethereum) smart contracts secure.
I also enjoy TAing in the courses offered by MPI-SP, since these courses initially sparked my interest in research.
Publications
Conference papers
Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking
39th IEEE Computer Security Foundations Symposium (CSF) (2026)
Talks
Combining Program and Protocol Analysis for Frontrunning Resistance in Smart Contracts
Workshop on Foundations of Computer Security (FCS) (2026)
Teaching
Proofs are Programs
2026
Functional Programming
2025/2026
Education
- Apr. 2025 - now: Computer Science, M.Sc. Ruhr-University Bochum.
- Oct. 2021 - Mar. 2025: Applied Computer Science, B.Sc. Ruhr-University Bochum.
Bachelor thesis
Generation of Independence Constraints in Smart Contracts for Front-running Resistance
Ruhr-University Bochum (2025)