Join My Group
My research focuses on programming languages, program verification, type theory, and mechanized proofs. If you are interested in working on these topics, there are several ways to join my group at different levels. See my research page and publications for more details on my work.
If you are interested in the areas described on my research page, including program verification, separation logic, type theory, and mechanized proofs, please contact me to discuss possible topics.
If you are a PhD student, or an undergrad student, outside Aarhus University and are interested to do an internship or project with me on topics related to my research, please contact me and include a brief description of your background and research interests.
What I Look For
I expect the following:
- Strong background in mathematics and logic
- Strong background and interest in programming languages theory, and program verification
- Experience with proof assistants (Rocq, Agda, Lean) is a plus, but not always required
- Intellectual curiosity and the ability to work independently