Benno Stein


PhD Candidate

University of Colorado Boulder

first dot last at colorado dot edu
ECCS 121


About Me


I am a PhD candidate in the Department of Computer Science at the University of Colorado Boulder, where I started in Fall 2015 and received an MS in Fall 2017. I am a member of the Programming Languages and Verification group (CUPLV), advised by Professor Evan Chang. Previously, I was a student at Williams College, in Williamstown, MA, where I graduated in June 2015 with a BA in Computer Science and Mathematics.

Research Interests


I am interested in building static analysis tools and formalisms that are able to handle the complexities of modern software development. Currently, I am working 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]