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.

Late last year, David Turner, a giant of our field and regular Lambda Days participant, passed away unexpectedly. Many may remember chatting to him in the coffee breaks—he was one of the nicest people you could hope to meet.


David was an advocate of functional programming back when Fortran and Cobol ruled the roost of high-level programming languages. His work was an inspiration to many, and his influence on many of our careers was profound. In this session four of us will recall the man, what he meant to us personally, and some of his most influential work.