Johannes Kloos
Staff Software Engineer at Snyk
Oxford, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolJohannes Kloos is a Staff Software Engineer and former Principal Architect with 11 years of industry experience and a PhD-rooted background in program analysis. He specializes in static and dynamic analysis, Java bytecode/AST manipulation, and core Java tooling, having driven Diffblue’s product architecture and technical decisions for seven years. As a tech lead he pairs deep technical expertise with practical leadership—mentoring engineers, running advanced mini-courses on static analysis, and instituting cross-team coordination rituals that measurably reduced merge conflicts. Comfortable across languages (C/C++, OCaml, Python, JavaScript) and with both research and product delivery, he’s equally at home designing analyses as he is handing full ownership of subsystems to other teams. Based in Oxford, he brings an unusual mix of academic rigor and hands-on engineering pragmatism that accelerates both code quality and team capability.
11 years of coding experience
11 years of employment as a software developer
Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at MPI-SWSDiplom-Informatiker, Computer Science, Diplom-Informatiker, Computer Science at RPTU Kaiserslautern-Landau
Stackoverflow
101reputation
0reached
1answer
0questions
Github Skills (61)
code-generator10
parser10
tla10
javaparser10
javadoc10
abstract-syntax-tree10
im10
java10
code-analysis10
code-generation10
checker10
javasymbolsolver10
model-checking9
tlaplus9
voip9
Programming languages (9)
Github contributions (5)
johanneskloos/Coq
Mar 2017 - Jun 2026
Contributions:12 pushes, 2 branches in 9 years 4 months
johanneskloos/TraceEnrichment
Dec 2015 - Oct 2016
Contributions:68 pushes, 4 branches, 1 tag in 10 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.