I am a PhD student, working on Computer Science. My main interests are: Formal Verification, Programming Languages, Concurrency Theory, Distributed Systems and Algorithms.
Publications
Conference papers
Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem
International Symposium on Leveraging Applications of Formal Methods (2024)
Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
Pre-print (2025)
Education
- I was able to paint with my hands in kindergarten.
- I went to high school where I studied stuff.
- I did a bachelor’s to learn how computer work.
- I got a master’s and that should tell you I figured out how they work. Though it still looks like wizardry.
Teaching
- I am/have been a teaching assistant in the following topics:
- Programming Languages and Environments (2024/2025)
- Introductory Programming for Science and Engineering (2025/2026)