Courses taught

At Rice

• (Spring 2013) COMP 482: Design and analysis of algorithms

• (Spring 2013, co-taught with Prof. Moshe Vardi) COMP 607: Automata, Logic, and Infinite Games

• (Fall 2012) COMP 507: Computer-aided verification

• (Spring 2012) COMP 482: Design and analysis of algorithms

• (Spring 2012, co-taught with Prof. Moshe Vardi) COMP 607: Program synthesis

• (Fall 2011, co-taught with Prof. Corky Cartwright) COMP 311: Principles of Programming Languages

At Penn State

• (Spring 2011) CSE 598-G: Exploiting concurrency efficiently and correctly

• (Fall 2010, Fall 2009, Fall 2008) CMPSC 461: Programming language concepts

• (Spring 2010) CSE 520: The Science of Computer Programming

• (Spring 2009) CSE 598-A: Program analysis

• (Spring 2008) CSE 598-A: Computer-aided verification