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
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 computers 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)