My academic cv is available as cv.pdf, and my professional resume is available as resume.pdf. I'm interested in functional programming and functional languages, type systems, and formal methods. I love writing Haskell and I'm looking into Rust as well. Feel free to drop me a line if you like to geek out about any of the above.