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

+++
title = "CV"
draft = false
[menu.topnav]
  identifier = "cv"
  weight = 10
+++

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.

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