1. Clark Barrett Analysis of Computer Systems Group
Research Interests:
Propositional satisfiability (SAT)
Satisfiability modulo theories (SMT)
Automated deduction/reasoning
Theorem proving
Verification of hardware and software

2. Current Projects CVC3: state-of-the-art verification engine
Combines fast propositional and first-order reasoning
Applications of CVC3
Hardware Verification
Software Verification
Lots of academic and industry interest
Learn more online:
Courses:
Fall 2008: Logic in Computer Science
Spring 2009: Topics in Automated Deduction
Contact Professor Barrett