Registered user since Tue 17 Feb 2015
I am an assistant professor of computer science at Colorado State University, working on research in programming languages and synthesis/verification, with applications in domains such as networking, (distributed) systems, and compilers. My overall goal is to develop tools and techniques to help programmers write better code in security- and safety-critical domains. In my free time, I enjoy hiking, rock climbing, and unicycling.
|PLDI 2023|| Web Co-Chair in Organizing Committee|
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
|Show activities from other conferences|