Benno Stein

Computer Scientist, PhD
Software Engineer at SkipLabs

first dot last at gmail

About Me

I am a software engineer and computer scientist based in London, UK. I'm currently working on reactive and incremental systems at SkipLabs.

I earned a PhD in Computer Science from the University of Colorado Boulder in 2022, where I was advised by Professor Bor-Yuh 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]