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
- SMT 2008, July 7 - 8, 2008, Princeton, USA
- PAAR 2008, August 10 - 11, 2008, Sydney, Australia
- IJCAR 2008, August 12 - 15, 2008, Sydney, Australia