SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Simon Thompson

Registered user since Tue 18 Aug 2020

Name:Simon Thompson
Bio:

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.

Country:United Kingdom
Affiliation:IOHK, University of Kent, and ELTE
Research interests:functional programming, smart contracts, refactoring

Contributions

AGERE 2021 A model of actors and grey failures
Show activities from other conferences

Using general profile