[~bandali/bndl.org] / source / cv.org

#+title: CV
#+date: [2018-08-19 Sun]
#+options: toc:nil

#+include: "./macros.org"

My academic {{{abbr(cv)}}} is available as [[/cv.pdf][cv.pdf]], and an outdated
professional resume is available as [[/resume.pdf][resume.pdf]] as well.

I'm interested in functional programming and functional languages,
type systems, and formal methods in general.  I love writing Haskell
and I'm looking into Rust and Lean as well.  Feel free to [[file:contact.org][drop me a
line]] if you like to geek out about any of the above.
Commit	Line	Data
b307aaa9 AB	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.