Independent math researcher and functional programmer. I dabble in Type Theory, Topos Theory, and Topology. I enjoy writing code in Haskell, SML-NJ, OCaml, and Scala.

Location

USA

Disciplines

• Computer Sciences
• Mathematics

Website

http://vishallama.org