Registered user since Tue 18 Aug 2020
Researcher, author and teacher, senior researcher for IOHK and professor at the University of Kent and ELTE, Budapest.
His research has covered many aspects of functional programming, including verification, tool building and testing for Erlang, Haskell and OCaml. He is an author of books on type theory, Haskell and Erlang, and runs a MOOC on Erlang for FutureLearn. He is currently a senior research lead at IOHK, developing a DSL for financial contracts on blockchain.
|Erlang 2021||PC Member in Program Committee within the Erlang 2021-track|
|HOPE 2021||Committee Member in Program Committee within the HOPE 2021-track|
|Show activities from other conferences|
View general profile