Simon Cooksey
Senior Research Scientist at NVIDIA
England, United Kingdom
Summary
👤
Senior🎓
Top SchoolSimon Cooksey is a Senior Research Scientist with 11 years' experience studying modern multi-core processors and the subtle weak-memory behaviors that arise from out-of-order execution and caching. After a PhD and successive research roles at the University of Kent, he built tools for relational model checking and a QBF-based higher-order model checker (PrideMM), combining formal methods, simulation, and practical tooling. Now at NVIDIA, he applies this deep systems and semantics expertise to real-world microarchitectural questions, bridging rigorous research with industry-scale hardware concerns. He also has hands-on experience in embedded toolchains and debugger work from earlier internships, giving him a pragmatic perspective on both low-level implementation and high-assurance verification.
11 years of coding experience
3 years of employment as a software developer
High School, High School at Teign SchoolDoctor of Philosophy - PhD, Comput, Doctor of Philosophy - PhD, Comput at University of Kent
Github Skills (99)
weechat10
rust10
markup10
pandoc10
apple-music10
converter10
irc10
syntax-highlighting10
markdown9
rust-lang9
golang9
markup-language9
compiler9
programming-language9
hugo9
Programming languages (16)
Github contributions (5)
graymalkin/pyperbot
Feb 2018 - May 2024
Contributions:14 pushes in 6 years 3 months
ellxc/piperbot
Feb 2015 - Nov 2017
Contributions:41 commits, 16 PRs, 8 pushes in 2 years 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.