A new web page for the Computational Logic Center at U. Iowa is on its way.

Until then, papers may be found here.

Also, web pages from when my group was at Washington U. in St. Louis are here.
C. V. (last updated December 2007)

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

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-president for Programming Languages meets Program Verification (PLPV).
• Trustee of the Conference on Automated Deduction (CADE), term from 2006 to 2009.

• External judge for the SAT Competition 2009.
• Workshops and tutorials chair the International Joint Conference on Automated Deduction (IJCAR) 2010.
• 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.
• Program committee member for Logical Frameworks and Meta-languages: Theory and Practice (LFMTP) 2008.
• Program committee member for Workshop on Mechanized Metatheory (WMM) 2008.

• 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).