ref: bdec77905bf26a7613043645c067ca1673d5acce aminb.org/content/cv.md -rw-r--r-- 606 bytes View raw
                                                                                
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
+++
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"