Simon Thompson

Registered user since Tue 18 Aug 2020

Name:Simon Thompson

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


EVCS Author of Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings within the Eelco Visser Commemorative Symposium-track
AGERE 2021 Author of A model of actors and grey failures within the AGERE 2021-track
Erlang 2021 PC Member in Program Committee within the Erlang 2021-track
HOPE 2021 Committee Member in Program Committee within the HOPE 2021-track
Erlang 2020 Author of Machine-Checked Natural Semantics for Core Erlang: Exceptions and Side Effects within the Erlang 2020-track
OCaml 2020 Author of API migration: compare transformed within the OCaml 2020-track
PLDI 2019 Author of Characterising Renaming within OCaml’s Module System: Theory and Implementation within the PLDI Research Papers-track
OCaml 2017 Author of ROTOR: First Steps Towards a Refactoring Tool for OCaml within the OCaml 2017-track
‹Programming› 2017 Author of The pragmatics of clone detection and elimination within the Research Papers-track
Erlang 2016 Committee Member in Program Committee within the Erlang-track
PEPM 2016 Committee Member in Program Committee within the PEPM-track
PEPM 2015 Committee Member in Steering Committee within the PEPM 2015-track
Author of Safe Concurrency Introduction through Slicing within the PEPM 2015-track
Session Chair of Types / Code Mining (part of PEPM 2015)