Simon Thompson is a research computer scientist, author and emeritus professor at the University of Kent, specializing in logic and computation. His research into functional programming covers software verification and validation, programming tool-building, and software testing for the functional programming languages Erlang, Haskell and OCaml. He is the author of books on data type theory, Miranda, Haskell and Erlang, and runs a massive open online course on Erlang for FutureLearn.
Connections
In Field
Source Simon Thompson (professor) (Wikipedia)
Sources
Wikidata: Simon Thompson
Wikidata Q110157861, resolved via en.wikipedia pageprops (wave rule R-L)View the Source Simon Thompson (professor) (Wikipedia)
In Field: Programming Language Theory, Infobox field and known_for, lead paragraphView the Source Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.