Papers may be found here.


C. V. (last updated October 2010)

The current vehicle for much of my research is the Guru programming language. Some other selected software is here.

Research interests: automated reasoning, computational logic, and programming languages theory.

Office hours for fall 2009 are 2:30-3:30pm Wednesdays and 11am-12pm Thursdays.

Professional positions:

• Co-organizer of Satisfiability Modulo Theories Competition (SMT-COMP).
• Associate editor of ACM Transaction on Programming Languages and Systems (TOPLAS).
• Steering committee co-chair for Programming Languages meets Program Verification (PLPV).
• Trustee of the Conference on Automated Deduction (CADE), term from 2006 to 2009.

• Co-organizer of Midwest Verification Day (MVD)
• Program committee member for The Third International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE) 2010.
• Workshops and tutorials chair the International Joint Conference on Automated Deduction (IJCAR) 2010.
• External judge for the SAT Competition 2009.
• Workshops and tutorials chair, also program committee member for the Conference on Automated Deduction (CADE) 2009.
• Program committee member for Rewriting Techniques and Applications (RTA) 2008.

• CS 185, Programming Language Foundations, Fall 2009.
• CS 196, Verified Software Construction, Spring 2009.
• CS 185, Programming Language Foundations, Fall 2008.
• CSE 545, Introduction to Automated Theorem Proving, Fall 2007 (Washington U. in St. Louis).
• CSE 240, Logic and Discrete Mathematics for Computer Science, Spring 2007 (Washington U. in St. Louis).