about

Hello! 👋

I am a masters student from Germany studying computer science.

My interests include:

• functional programming
• compilers
• programming language theory
• formal verification

archive

I might write a blog post.

Hello World
23 Feb 2023 • 1 minute required

Reading List
02 Mar 2023 • updated 25 Mar 2023 • 3 minutes required