| | 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. |
projects / ~bandali / bndl.org / blame_incremental