Alastair Reid
Senior Principal Engineer at Intel Corporation
Cambridge, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolAlastair Reid is a Senior Principal Engineer with over two decades of deep technical experience at the intersection of formal verification, compilers, processor architecture and security, currently leading research at Intel Strategic CAD Labs. He has driven tech-transferable systems from prototype to production across major companies (ARM, Google, Intel), holds 20+ granted patents, and has published extensively at top venues including PLDI, CAV, OSDI and POPL. His work blends hands-on engineering with principled formal methods—his PhD focused on formal specification and verification of microprocessor architecture—and he has led teams to industrialise specification, testing and verification practices for real-world CPUs. Notably, he has applied verification tooling to modern developer workflows (e.g. bringing KLEE to Rust) to make formal methods accessible to practicing engineers. Based in Cambridge, UK, he combines research leadership, hiring and mentorship with a track record of delivering auditable, production-ready systems that advance what hardware and software can reliably achieve.
11 years of coding experience
26 years of employment as a software developer
B.Sc. (Hons, 1st class), Computer Science, B.Sc. (Hons, 1st class), Computer Science at University of StrathclydeM.Sc., Computing Science, M.Sc., Computing Science at University of Glasgow
Github Skills (68)
eve10
proptest10
symbolic-execution10
nlp10
verification10
klee10
asl10
tla10
architecture9
symbolic-execution-engine9
readable9
rust9
abstract-syntax-tree9
specification9
deep-learning9
Programming languages (6)
Github contributions (5)
alastairreid/teensykey
Mar 2015 - Jul 2016
Contributions:29 commits, 7 pushes, 1 branch in 1 year 3 months
alastairreid/RelatedWork
Sep 2019 - Jan 2023
Interesting papers
Contributions:1 review, 513 commits, 1 PR in 3 years 4 months
deep-learningnlpmachine-learninginteresting
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.