Introduction

I am a PhD student in the Department of Computer Science and the Programming Languages and Verification Group at the University of Colorado, Boulder. My interest is investigating algorithmic and data-driven approaches to reasoning about software.

Education

Shawn Meier

Publications

Technical Reports