Kurt Degiorgio
Senior Machine Learning Engineer (GenAI Platforms)
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolKurt Degiorgio is a Senior Machine Learning Engineer specializing in GenAI platforms with 11 years of experience combining machine learning research and production-grade software engineering in C++ and Python. He holds an MPhil in Advanced Computer Science from the University of Cambridge and has applied academic rigor to build NLP and platform solutions across fintech and document automation at Bloomberg, Monzo, and Hyperscience. His background includes program analysis and ML work at Diffblue, where he contributed substantive improvements to CBMC’s Java bytecode concurrency analysis—an example of his ability to bridge formal methods and practical ML systems. Comfortable moving between research and engineering, he’s delivered scalable platform components and model-driven features in fast-paced product environments. Based in London, he brings a rare mix of low-level systems expertise and generative AI product experience that helps teams ship robust, production-ready ML infrastructure.
11 years of coding experience
10 years of employment as a software developer
Master of Philosophy - MPhil, Advanced Computer Science, Distinction (84 percentile), Master of Philosophy - MPhil, Advanced Computer Science, Distinction (84 percentile) at University of CambridgeMaster of Science - MS, Computer Science, Distinction (83 percentile), Master of Science - MS, Computer Science, Distinction (83 percentile) at Oxford Brookes University
English, Maltese, Italian
Github Skills (7)
javas10
cbmc10
java10
concurrency10
static-analysis9
c-language8
cprogramming-language8
Programming languages (8)
Github contributions (5)
diffblue/cbmc
Jun 2017 - Nov 2018
C Bounded Model Checker
Role in this project:
Back-end Developer
Back-end DeveloperContributions:28 commits, 16 PRs, 217 comments in 1 year 5 months
Contributions summary:Kurt primarily contributed to improving CBMC's Java bytecode analysis capabilities, particularly in the areas of concurrency and static initialization. Their work included implementing support for multi-threaded Java programs by adding features like thread block instrumentation and thread-safe static initializer wrappers. The user also addressed issues related to inheritance in Java programs, fixing incorrect stubbing of inherited methods, and ensuring accurate analysis of Java code. Additionally, the user introduced and fixed issues related to handling Java concurrency and its implications on CBMC's functionality.
model-checkermodel-checkingcppcheckertla
Degiorgio/cbmc
Mar 2017 - Mar 2019
C Bounded Model Checker
Contributions:48 pushes, 10 branches in 2 years
model-checkermodel-checkingcheckertla
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.