Benno Stein


Computer Scientist, PhD

Software Engineer at Meta

first dot last at gmail


About Me


this website is under construction: I've recently finished my PhD and am working on getting everything up-to-date.

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.

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 bounded symbolic execution.

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