Benno Stein


Computer Scientist, PhD

Software Engineer at Meta

first dot last at gmail


About Me


I am a software engineer and computer scientist based in London, UK. I'm currently working on static analysis tools at Meta.

I earned a PhD in Computer Science from the University of Colorado Boulder in 2022, where I was advised by Professor Evan Chang as a member of the CUPLV group. Before that, I graduated from Williams College in 2015 with a BA in Mathematics and Computer Science.

Feel free to get in touch over email or twitter if you're looking for something here that seems to be missing -- this website is less frequently updated than it once was!

Research Interests


I am interested in building static analysis tools and formalisms that are able to handle the complexities of modern software development. My dissertation focused on incremental and demand-driven abstract interpretation.

I've worked in the past on a range of program analysis topics in both academia and industry, including static analysis of dynamic languages, refinement type systems, type inference, and goal-directed analysis.

Recent News [click to expand]
Publications [click to expand]