Philip Wadler
Professor at The University of Edinburgh
City of Edinburgh, Scotland, Other
Summary
🤩
RockstarPhilip Wadler is a Professor of Theoretical Computer Science at the University of Edinburgh with over two decades in academia and 12 years of focused professional experience noted here. He also serves as a Senior Research Fellow at IOHK, blending deep research in programming languages and formal methods with applied work in the blockchain space. Known for clear, precise communication, he contributes to educational open-source projects—helping refine Agda-based programming language materials—underscoring a commitment to making complex theory accessible. Based in Edinburgh, he pairs rigorous theoretical insight with practical collaboration across research and engineering teams, and his attention to textual clarity reflects a broader drive to improve usability of formal tools.
12 years of coding experience
Github Skills (2)
documentation10
agda5
Programming languages (5)
Github contributions (5)
plfa/plfa.github.io
Mar 2017 - Dec 2022
An introduction to programming language theory in Agda
Role in this project:
Technical Writer & Typo Fixer
Technical Writer & Typo FixerContributions:102 reviews, 1211 commits, 279 PRs in 5 years 10 months
Contributions summary:Philip's commits focused on correcting spelling errors and making minor textual fixes within the documentation of the Agda-based programming language theory introduction. The contributions are primarily within files related to code documentation, including fixing spelling mistakes. These changes reflect a focus on refining the text and improving clarity for readers.
agdaprogramming-languageproof-assistantprogramming-languages
marat-rkh/plfa.github.io
Aug 2019 - Jul 2020
PLFA rewritten in Arend
Contributions:82 commits in 10 months
agdaprogramming-language
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.