From: Amin Bandali Date: Tue, 22 May 2018 03:35:34 +0000 (-0400) Subject: Add CV X-Git-Url: https://git.shemshak.org/~bandali/bndl.org/commitdiff_plain/65641ab439f507b8cf0f24bca67b03fbcfbfa218?hp=627c9ae4805fd0b532d8a5b4760db74ba145f21b Add CV TODO: update cv.pdf, and perhaps resume.pdf as well. --- 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.