+++ /dev/null
-+++
-title = "CV"
-draft = false
-[menu.topnav]
- identifier = "cv"
- weight = 10
-+++
-
-My academic <abbr>CV</abbr> is available as [cv.pdf](/cv.pdf),
-and an outdated professional resume is available as [resume.pdf](/resume.pdf) as
-well.
-
-I'm interested in functional programming and functional languages,
-type systems, and formal methods in general. I love writing Haskell
-and I'm looking into Rust and Lean as well. Feel free to [drop me a
-line](/contact) if you like to geek out about any of the above.
-
-[//]: # "Exported with love from a post written in Org mode"
-[//]: # "- https://ox-hugo.scripter.co"