Simon Thompson
Emeritus Professor Of Logic And Computation
England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolSimon Thompson is an Emeritus Professor of Logic and Computation with 15 years of documented industry-facing experience and a distinguished academic career rooted in a DPhil from Oxford and an MA from Cambridge. He has bridged rigorous formal methods research and practical blockchain engineering through senior roles at IOHK, leading the Marlowe research effort and directing dApp platform projects. Based in England, he has a long tenure at the University of Kent and ongoing engagement at Eötvös Loránd University, combining leadership of academic units with hands-on technical advising. An active contributor to open-source documentation, he improved tutorials and tooling for the Plutus smart-contract ecosystem, showing a knack for translating formal concepts into accessible developer resources. Colleagues know him for pairing deep mathematical insight with pragmatic project delivery across academia and industry.
15 years of coding experience
10 years of employment as a software developer
DPhil, Mathematics, DPhil, Mathematics at University of OxfordMA, MATHEMATICS, MA, MATHEMATICS at University of CambridgeUniversity of Kent
Github Skills (4)
documentation10
blockchain9
smart-contracts8
programming-language8
Programming languages (4)
Github contributions (5)
IntersectMBO/plutus
Sep 2019 - Aug 2021
The Plutus language implementation and tools
Role in this project:
Technical Writer
Technical WriterContributions:24 reviews, 39 commits, 9 PRs in 1 year 11 months
Contributions summary:Simon primarily contributed to the documentation of the Plutus project. Their commits include significant revisions to the Marlowe tutorial sections, introducing new content, updating existing sections, and correcting typos. They also updated images and restructured various tutorial files, with specific attention to the Marlowe Playground and Blockly interface. The user's work focused on improving the clarity and completeness of the project's documentation.
programming-languageblockchainsmart-contractsplutus
simonjohnthompson/streams
Jun 2017 - May 2018
Contributions:15 commits, 11 pushes, 1 branch in 11 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.