Alexander Nemish

Alexander Nemish joined IOHK in 2018 and works on Marlowe, the domain-specific language for financial smart contracts. Alexander is a big fan of functional programming, constructive mathematics, homotopy type theory, formally proven programs, meta programming, compilers, Scala, Haskell, and Rust. He is the author of the JScala macros library, and works on designing and implementing the Lasca programming language. In his spare time, Alexander enjoys diving and skydiving, and gives lectures on functional programming.