Cesare Tinelli
|
|
Associate Professor
Department of Computer Science The University of Iowa 14 MacLean Hall Iowa City, IA 52242 USA
|
Education
- PhD in CS, University of Illinois at Urbana-Champaign, 1999.
- MS in CS, University of Illinois at Urbana-Champaign, 1995.
- Laurea in Scienze dell'Informazione, University of Bari, Italy, 1990.
Research Interests
- Automated Reasoning
- Satisfiability Modulo Theories
- Software Verification
- Logic and Formal Methods in Computer Science
Events
- FroCoS'07, September 10 - 12, 2007, Liverpool, UK
- CADE-21, July 17 - 20, 2007, Bremen, Germany
- Tableaux'07, July 3 - 6, 2007, Aix en Provence, France
- SMT'07, July 1 - 2, 2007, Berlin, Germany