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.
10 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 (81)
parser10
abstract-syntax-tree10
code-analysis10
code-generation10
code-generator10
javaparser10
im10
tlaplus10
verification10
java10
checker10
tla10
javadoc10
parsing10
parser-generator10
Programming languages (6)
Github contributions (5)
johanneskloos/TraceEnrichment
Dec 2015 - Oct 2016
Contributions:68 pushes, 4 branches, 1 tag in 10 months
johanneskloos/Testoracle
Oct 2015 - Aug 2016
Contributions:23 pushes, 3 branches, 1 tag in 9 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.