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

Personal website:https://www.kent.ac.uk/computing/people/3164/thompson-simon

Twitter:https://twitter.com/thompson_si

GitHub:https://github.com/simonjohnthompson

Research interests:functional programming, smart contracts, refactoring

Contributions

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)