update themes/divine url
[~bandali/bndl.org] / content / cv.md
... / ...
CommitLineData
1+++
2title = "CV"
3draft = false
4[menu.topnav]
5 identifier = "cv"
6 weight = 10
7+++
8
9My academic <abbr>CV</abbr> is available as [cv.pdf](/cv.pdf),
10and an outdated professional resume is available as [resume.pdf](/resume.pdf) as
11well.
12
13I'm interested in functional programming and functional languages,
14type systems, and formal methods in general. I love writing Haskell
15and I'm looking into Rust and Lean as well. Feel free to [drop me a
16line](/contact) if you like to geek out about any of the above.
17
18[//]: # "Exported with love from a post written in Org mode"
19[//]: # "- https://ox-hugo.scripter.co"