Emeritus Professor of Logic and Computation
University of Kent
location_on United Kingdom
Member since 3 months
Simon Thompson is a researcher and educator in function programming, based at the Universities of Kent and ELTE Budapest, and also working with IOG on languages for distributed application development. He has worked on verification, language design, and refactoring, and published textbooks on Erlang, Haskell and type theory.