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

   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.