| | 1 | #+title: CV |
| | 2 | #+date: [2018-08-19 Sun] |
| | 3 | #+options: toc:nil |
| | 4 | |
| | 5 | #+include: "./macros.org" |
| | 6 | |
| | 7 | My academic {{{abbr(cv)}}} is available as [[/cv.pdf][cv.pdf]], and an outdated |
| | 8 | professional resume is available as [[/resume.pdf][resume.pdf]] as well. |
| | 9 | |
| | 10 | I'm interested in functional programming and functional languages, |
| | 11 | type systems, and formal methods in general. I love writing Haskell |
| | 12 | and I'm looking into Rust and Lean as well. Feel free to [[file:contact.org][drop me a |
| | 13 | line]] if you like to geek out about any of the above. |
projects / ~bandali / bndl.org / blame_incremental