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 2009, August 2 - 3, 2009, Montreal, Canada
- CADE 2009, August 4 - 7, 2009, Montreal, Canada
- FroCoS 2009, September 16 - 18, 2009, Trento, Italy