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...
Read More →