Nat Karmios
Research Engineer at Imperial College London
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolNat Karmios is a research engineer and PhD student at Imperial College London with 11 years of software engineering experience focused on verified software and program verification. He applies first-order, Hoare, and separation logic to maintain and extend a symbolic execution platform and has built a visual debugger to make symbolic traces accessible to students and engineers. Nat combines rigorous academic training (MEng First Class, PhD candidate) with hands-on production experience across startups and enterprise teams, shipping features, deployments, and automation. His background spans systems engineering, cloud-hosted analytics, CI integration, and test automation, reflecting an ability to move proofs and prototypes into reliable tooling. Notably, he’s comfortable demonstrating complex formal methods to non-expert audiences, turning symbolic execution outputs into clear, teachable artifacts. Based in London, he blends research-grade formal methods expertise with practical software delivery.
10 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Imperial College LondonA-Level, Computer Science, Maths, Further Maths, Physics, A*A*AA respectively, A-Level, Computer Science, Maths, Further Maths, Physics, A*A*AA respectively at Twyford High School
Stackoverflow
325reputation
28kreached
5answers
16questions
Github Skills (105)
slideshow10
to-do10
outliner10
slide10
trend10
org-mode10
tasks10
reveal10
reveal-js9
discord9
lists9
boilerplate9
search-engine9
eslint9
java9
Programming languages (11)
Github contributions (5)
NatKarmios/org-gcal-sync
Jul 2021 - Oct 2024
A one-way event synchronisation tool from org-mode to Google Calendar
Contributions:2 releases, 10 PRs, 25 pushes in 3 years 3 months
synchronisationorg-modecalendargoogle-calendar
NatKarmios/.dotfiles
Sep 2020 - Mar 2024
Contributions:46 pushes, 3 branches, 1 tag in 3 years 6 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.