Amin Bandali


My academic CV is available as cv.pdf, and an outdated professional resume is available as 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 if you like to geek out about any of the above.