Research Papers from the Computational Logic Group
C. V. (last updated December 2007)

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

Recent and upcoming professional service:

• Invited speaker at VERIFY 07.
• Co-organizer of SMT-COMP 07.
  
• Associate editor of TOPLAS.
• Co-organizer of PLPV 07.
• RTA 2007 program committee member.
• Elected trustee of CADE, term from 2006 to 2009.

• CSE 545, Introduction to Automated Theorem Proving, Fall 2007.
• CSE 240, Logic and Discrete Mathematics for Computer Science, Spring 2007.
• CSE 535, Programming Language Theory, Fall 2006.
• CSE 240, Logic and Discrete Mathematics for Computer Science, Spring 2006.