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

+++
title = "CV"
draft = false
[menu.topnav]
  weight = 2001
  identifier = "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
caf3b78c AB	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.