Fotis Koutoulakis
Software Engineer III at GitHub
Oxford, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolFotis Koutoulakis is a software engineer with 12 years’ experience building reliable, security-focused systems and production-scale AI features, currently at GitHub where he works at the intersection of AI and security on products like CodeQL and Copilot Autofix/Autofind. His background spans distributed systems, compilers, and formal verification—evident from long-term contributions to the CBMC C Bounded Model Checker and work on Java bytecode tooling. Before GitHub he advanced through engineering roles at Diffblue, maintaining and scaling verification tooling into production, and earlier cut his teeth on web stacks and compilers during industrial placements and Google Summer of Code. Based in Oxford, he combines a mathematician’s rigor with practical software engineering, frequently shipping C++ and backend fixes that improve correctness and test coverage. Notably, he has moved from open-source verification work into operationalizing AI safety and reliability features at scale, bridging research-quality tools and production constraints.
12 years of coding experience
8 years of employment as a software developer
Bachelor of Science - BSc, Mathematics, Bachelor of Science - BSc, Mathematics at The Open UniversityBachelor of Science - BSc, Natural Sciences, Bachelor of Science - BSc, Natural Sciences at Hellenic Open UniversityBachelor of Science - BSc, Informatics Engineering, Bachelor of Science - BSc, Informatics Engineering at Technological Educational Institute of Crete
Greek, English, Spanish
Stackoverflow
9,649reputation
1.4mreached
93answers
37questions
winforms
top-5%
memory-management
top-5%
python
top-5%
linux
top-5%
ide
top-5%
obfuscation
top-5%
Github Skills (22)
c-language10
cprogramming-language10
model-checking9
testing9
debug9
static-analysis9
debugging9
python9
linux9
winforms9
memory-management9
ide9
obfuscation9
c178
java-bytecode8
Programming languages (13)
Github contributions (5)
diffblue/cbmc
Mar 2017 - Jan 2023
C Bounded Model Checker
Role in this project:
Back-end Developer
Back-end DeveloperContributions:9 releases, 595 reviews, 719 commits in 5 years 10 months
Contributions summary:Fotis primarily contributed to the C Bounded Model Checker project by addressing issues related to static C functions. Their work involved fixing bugs in the symbol removal process, adding tests for code generation involving static inline functions, and contributing to the development of the Java Bytecode library. The user's modifications include code in C++ source files, showcasing their expertise in the codebase.
model-checkermodel-checkingcppcheckertla
NlightNFotis/cbmc
Feb 2017 - Mar 2025
C Bounded Model Checker
Contributions:15 releases, 24 PRs, 1172 pushes in 8 years 2 months
model-checkermodel-checkingtlachecker
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.