Craig Mclaughlin
Senior Software Engineer at Category Labs
United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolCraig Mclaughlin is a Senior Software Engineer with 14 years of experience combining rigorous academic research and practical systems engineering across the UK and beyond. He transitioned from a PhD and postdoctoral research at Edinburgh and UNSW into industry, bringing deep expertise in language tooling, compilers, and formally verified systems. Notably, his open-source work on CakeML includes implementing a lexer and PEG parser for the Pancake language and converting parse trees to ASTs with well-formedness proofs—demonstrating comfort with both theory and production-grade back-end code. Currently at Category Labs, he focuses on building robust, auditable software informed by years of research into programming languages and verification. Colleagues describe him as someone who bridges academic precision with pragmatic delivery, often surfacing subtle correctness guarantees that improve long-term maintainability.
14 years of coding experience
3 years of employment as a software developer
Computing ScienceMaster’s Degree, Master’s Degree at University of Glasgow
Github Skills (8)
compiler10
theorem-proving10
formal-semantics10
programming-language10
compiler-compiler10
language-design10
formal-verification10
abstract-syntax-tree10
Programming languages (10)
Github contributions (5)
CakeML/cakeml
Mar 2022 - Jan 2023
CakeML: A Verified Implementation of ML
Role in this project:
Back-end Developer
Back-end DeveloperContributions:8 commits, 1 PR, 4 pushes in 10 months
Contributions summary:Craig's primary contribution involves developing a lexer and a PEG parser for the Pancake language. They defined the lexer's functionality with token definitions and rules, including the integration of theorems. The user then implemented the grammar for the Pancake language using a PEG parser, adopting a C-like block structure. Finally, the user converted the parse tree to the abstract syntax tree, implementing a system for expression conversion, and well-formedness proofs for the grammar.
smlverifiedtheorem-provingsatformal-verification
cmcl/msci
Jul 2014 - Apr 2015
Contributions:246 commits, 2 branches in 9 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.