I am a doctoral researcher and member of the Cryptography and Privacy Engineering Group (ENCRYPTO) at the Department of Computer Science of Technische Universität Darmstadt, Germany.

I am interested in cryptography, functional programming languages, and proof assistants. I work on high-assurance cryptographic implementations and machine-verifiable security proofs.

You can also find me on my homepage. Feel free to contact me at dohmen@encrypto.cs.tu-…. Consider encrypting your messages using my PGP key. (A3C8 E12D B956 788C E030 FFB0 DA0D 039C 8416 D5B1).

Teaching Experience

• Summer Term 2024: Student Tutor for “Concepts of Programming Languages”
• Winter Term 2023/2024: Student Tutor for “Digital Technologies”

Work Experience

• Since Jul 2026: Doctoral Researcher at ENCRYPTO
• Apr 2024 – Jun 2026: Student Research Assistant at ENCRYPTO

Studies

• Since Oct 2025: M.Sc. in Computer Science, TU Darmstadt
• Oct 2022 – Sep 2025: B.Sc. in Computer Science, TU Darmstadt