Siddharth discovered Haskell from John Carmack’s inspiring talks on writing game engines in a purely functional style.
He came for the functional reactive programming and stuck around for the mathematics.
He is pursing a PhD at the University of Edinburgh, with research interests in high performance computing, formal verification, and proof assistants.