git.shemshak.org - ~bandali/bndl.org/blob - cv.md

   1 # CV
   2
   3 My academic <abbr>cv</abbr> is available as [cv.pdf](/cv.pdf), and an
   4 outdated professional resume is available as
   5 [resume.pdf](/resume.pdf) as well.
   6
   7 I'm interested in functional programming and functional languages,
   8 type systems, and formal methods in general.  I love writing Haskell
   9 and I'm looking into Rust and Lean as well.  Feel free to [drop me a
  10 line](/contact) if you like to geek out about any of the above.