[wip] add Contact
[~bandali/bndl.org] / content / cv.md
1 +++
2 title = "CV"
3 draft = false
4 [menu.topnav]
5 weight = 2001
6 identifier = "cv"
7 +++
8
9 My academic <abbr>CV</abbr> is available as [cv.pdf](/cv.pdf),
10 and an outdated professional resume is available as [resume.pdf](/resume.pdf) as
11 well.
12
13 I'm interested in functional programming and functional languages,
14 type systems, and formal methods in general. I love writing Haskell
15 and I'm looking into Rust and Lean as well. Feel free to [drop me a
16 line](/contact) if you like to geek out about any of the above.