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

   1 +++
   2 title = "CV"
   3 draft = false
   4 [menu.topnav]
   5   identifier = "cv"
   6   weight = 10
   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.
  17
  18 [//]: # "Exported with love from a post written in Org mode"
  19 [//]: # "- https://ox-hugo.scripter.co"