From 65641ab439f507b8cf0f24bca67b03fbcfbfa218 Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Mon, 21 May 2018 23:35:34 -0400 Subject: [PATCH 1/1] Add CV TODO: update cv.pdf, and perhaps resume.pdf as well. --- cv.md | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 cv.md diff --git a/cv.md b/cv.md new file mode 100644 index 0000000..10e4b8d --- /dev/null +++ b/cv.md @@ -0,0 +1,10 @@ +# CV + +My academic 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 [drop me a +line](/contact) if you like to geek out about any of the above. -- 2.20.1