I’m Martin. I’m a software engineer with a passion for safe programming languages with a strong static type system, such as Rust and Haskell. I’m experienced in designing and implementing programming languages myself. I was part of the team building the smart contract language Daml at Digital Asset, leading the team for 2 years. Besides Haskell and Rust we also used TypeScript and Scala. Before that, I worked in OCaml at Jane Street and did a PhD in computational logic. I also like bikes.