update divine
[~bandali/bndl.org] / content / cv.md
CommitLineData
caf3b78c
AB
1+++
2title = "CV"
3draft = false
4[menu.topnav]
caf3b78c 5 identifier = "cv"
bdec7790 6 weight = 10
caf3b78c
AB
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.
bdec7790
AB
17
18[//]: # "Exported with love from a post written in Org mode"
19[//]: # "- https://ox-hugo.scripter.co"