+++ 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"