Peter Mosses
Visitor at TU Delft
Delft, South Holland, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolPeter Mosses is a veteran computer scientist and language-semantics expert with decades of research and leadership experience, currently a Visitor at TU Delft and Professor Emeritus at Swansea University. He pioneered denotational semantics in the 1970s, led the development of action semantics, and later created modular structural operational semantics (MSOS) and component-based approaches to language specification, emphasizing modularity, reuse, and tool support. His work spans algebraic specification frameworks such as CASL and practical tooling—he is actively exploring Agda for denotational semantics and will resume tool development for component-based specification in the plancomps project. With a long academic pedigree from Oxford and leadership roles across Aarhus and Swansea, he combines deep theoretical insight with hands-on open-source contributions, including notable navigation and TOC fixes for a popular Jekyll docs theme.
10 years of coding experience
28 years of employment as a software developer
BA, MSc, DPhil, Mathematics, Computer Science, BA, MSc, DPhil, Mathematics, Computer Science at University of Oxford
Danish, Polish
Github Skills (8)
html10
navigationbar10
github-pages10
jekyll10
navigationview10
javascript9
css9
documentation8
Programming languages (12)
Github contributions (5)
just-the-docs/just-the-docs
Aug 2019 - Jan 2023
A modern, high customizable, responsive Jekyll theme for documentation with built-in search.
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:201 reviews, 116 commits, 102 PRs in 3 years 5 months
Contributions summary:Peter primarily contributed to the Jekyll theme's navigation features. Their work involved modifying the navigation menu's behavior, including adding functionality to display child and grandchild links based on user interaction, and the correction of a long-standing bug in TOC generation. The user also implemented several improvements, like fixing a bug with external links, and added support for the "linenos" option. They are responsible for optimizing the navigation structure by refactoring and caching components.
jekyll-themejekyll
just-the-docs/just-the-docs-tests
Jul 2022 - Jan 2023
Regression tests and examples of use for just-the-docs/just-the-docs
Contributions:123 commits, 4 PRs, 158 pushes in 6 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.