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

# CV

My academic <abbr>cv</abbr> 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 [drop me a
line](/contact) if you like to geek out about any of the above.
Commit	Line	Data
65641ab4 AB	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.