Cesare Tinelli's Research

Projects and Systems

• Kind (new!)
• SMT-LIB
• CVC3
• Darwin
• Sammy

Grants

• CRI: SMT-LIB, A Common Library and Infrastructure for Satisfiability Modulo Theories, NSF grant # 0551646, PI, 2006-08.
• SMT-LIB Specification. Intel Corporation grant, co-PI, 2006-07.
• Equipment grant. Intel Corporation, PI, 2006.
• CAREER: Fast Provers for Extended Static Checking of Software, NSF grant #0237422, PI, 2003-08.
• Modular Combination of Satisfiability Procedures, NSF Grant #9972311, co-PI, 1999-2002.
• 15th International Workshop on Unification, NSF Grant #0108548, PI, 2001.