Benno Stein
Senior Software Engineer at Skiplabs
London, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolBenno Stein is a Senior Software Engineer based in London with a decade of experience specializing in static analysis, program verification, and toolchain infrastructure. He holds a PhD in Computer Science from the University of Colorado Boulder and has applied his research to production-grade tooling at Meta, Facebook, Google, Uber, and Skiplabs. His open-source contributions to Facebook's Infer (notably refactoring the sledge analyzer, modularizing domains, and adding global-usage tracking) show a knack for improving modularity and long-term maintainability in complex analyzers. Benno combines deep academic rigor with pragmatic engineering—shipping incremental static analysis and LLVM symbolic execution features in industry settings. Colleagues value him for turning theoretical program-analysis ideas into robust, extensible code that scales across large codebases. He often surfaces subtle correctness concerns early in development, reducing downstream debugging and maintenance effort.
10 years of coding experience
4 years of employment as a software developer
Doctor of Philosophy (Ph.D.) Computer Science, Doctor of Philosophy (Ph.D.) Computer Science at University of Colorado BoulderBachelor's Degree Computer Science and Mathematics, Bachelor's Degree Computer Science and Mathematics at Williams College
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (9)
static-code-analysis10
static-analysis10
software-quality10
c119
cpp9
c179
javas4
objective-c4
java4
Programming languages (10)
Github contributions (5)
facebook/infer
Sep 2019 - Jan 2023
A static analyzer for Java, C, C++, and Objective-C
Role in this project:
Back-end Developer
Back-end DeveloperContributions:81 commits in 3 years 4 months
Contributions summary:Benno's commits primarily focus on refactoring and extending the static analyzer, specifically within the `sledge` subproject. Their work involves functorizing the worklist, separating domain-specific logic, and extracting relational logic from the `Sh_domain`. They've also created a "domain" module and added a used-globals abstract domain along with its transfer functions. The contributions include enhancing the analysis's capabilities and modularity, improving its support for future development, and adding features like tracking global variable usages.
cppjavaobjective-cstatic-analyzerstatic-analysis
bennostein/skdb
Dec 2023 - Jun 2025
SKDB is an embedded SQL database that stays in sync.
Contributions:393 pushes, 244 branches in 1 year 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.