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