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
- WoLLIC 2010, July 6 - 9, 2010, Brasilia, Brazil
- SMT 2010, July 14 - 15, 2010, Edinburgh, United Kingdom
- LfSA 2010, July 15, 2010, Edinburgh, United Kingdom
- IJCAR 2010, July 16 - 19, 2010, Edinburgh, United Kingdom
- EMSQMS 2010, July 20, 2010, Edinburgh, United Kingdom