Biography and Expertise

Professor Tinelli's research interests include automated reasoning, formal methods, software verification, foundations of programming languages, and applications of logic in computer science.

Professor Tinelli's work has focused on software verification and on automated reasoning, in particular in Satisfiability Modulo Theory (SMT), a field he helped establish through his research and service activities

Research Interests: Satisfiability Modulo Theories, Automated Reasoning, Software Verification, Logic and Formal Methods in Computer Science

Keywords: SMT, Automated Reasoning, Model Checking, Formal Methods

Links

Honors

F. Wendell Miller Professor
University of Iowa (United States, Iowa City) - UI, 07/01/2019
CAREER Award
National Science Foundation (NSF)

Associations

Association for Automated Reasoning

Organizational Affiliations

Computer Science, College of Liberal Arts and Sciences, University of Iowa

Education

Scienze dell'Informazione
1990, Laurea, University of Bari Aldo Moro (Italy, Bari)
Computer Science
1995, MS, University of Illinois at Urbana-Champaign
Computer Science
1999, PhD, University of Illinois at Urbana-Champaign