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