Simon Thompson

Computer science researcher @ University of Kent and Eötvös Loránd University (ELTE), Budapest.

Researcher, author and teacher, technical adviser for IO Global 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 led a team developing a DSL for financial contracts on blockchain for IO Global, for whom he is now a technical adviser.