Chris Jefferson
Research Fellow at University of St. Andrews
St Andrews, Scotland, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolChris Jefferson is a Research Fellow at the University of St Andrews with over 21 years of experience in programming and software engineering, specializing in C/C++, constraint programming, and SAT. He holds a PhD in Computer Science from the University of York and has been embedded in academic research since the mid-2000s, blending rigorous theory with practical system building. Known to colleagues as an "AI Professor who does too much coding," he uniquely bridges deep research insights and hands-on implementation. His long tenure at St Andrews reflects sustained contributions to solver technology and experimental software used in formal and AI-driven problem solving. Chris combines meticulous low-level engineering with an eye for research impact, frequently turning theoretical advances into reliable, production-style code. Based in St Andrews, Scotland, he brings a steady, research-driven perspective to complex algorithmic challenges.
21 years of coding experience
1 year of employment as a software developer
University of CambridgePhd, Computer Science, Phd, Computer Science at University of York
Github Skills (200)
benchmark10
htmx10
visual-studio10
julia10
mathematics10
package-manager10
zsh10
discrete-mathematics10
utilities10
math10
searching10
lodash10
command-line10
liquid10
cargo10
Programming languages (34)
Github contributions (5)
ChrisJefferson/stacscheck
Jun 2016 - Jan 2023
St Andrews Computer Science Checker
Contributions:169 commits, 12 PRs, 117 pushes in 6 years 7 months
computer-sciencesciencest-andrewschecker
ChrisJefferson/sage-windows
Feb 2021 - Jan 2024
Build tools for the Sagemath Windows installer
Contributions:2 PRs, 24 pushes, 3 branches in 2 years 11 months
source-portwindows-desktopwindowswindows-installerpowershell
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.