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

   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.