Cesare Tinelli's Research

Collaborators

I have had so far the good fortune to work with many outstanding researchers and students. Here is an incomplete list of my past and present co-authors and/or collaborators.

Franz Baader	Clark Barrett	Peter Baumgartner	François Bobot
David Brumley	Alexander Fuchs	Vijay Ganesh	Harald Ganzinger
Pierre-Loïc Garoche	Yeting Ge	Silvio Ghilardi	Amit Goel
Jim Grundy	Temesghen Kahsai	Joseph Kiniry	Sava Krstić
Liana Hadarean	George Hagen	Mehdi Harandi	Gary Leavens
José Meseguer	Leonardo de Moura	Robert Nieuwenhuis	Hans de Nivelle
Duccki Oe	Albert Oliveras	Björn Pelzer	Silvio Ranise
Christophe Ringeissen	Andrew Reynolds	Roberto Sebastiani	Sanjit Seshia
Viorica Sofronie- Stokkermans	Christoph Sticksel	Aaron Stump	Geoff Sutcliffe
Mike Whalen	Calogero Zarba

Visitors

I have also had the pleasure to host or co-host at Iowa many great researchers. Here is a (possibly incomplete) list.

Eyal Amir, Franz Baader, Tom Ball, Clark Barrett, Peter Baumgartner, François Bobot, David Brumley, Marco Caccamo, Morgan Deters, Matt Dwyer, Branden Fitelson, Vijay Ganesh, Pierre-Loïc Garoche, Yeting Ge, Arie Gurfinkel, Liana Hadarean, Joe Hendrix, Joseph Kiniry, Alexander Koller, Gary Leavens, Rustan Leino, Pete Manolios, Rupak Majumdar, José Meseguer, Matt Might, Leonardo de Moura, Albert Oliveras, David Pichardie, John Regehr, Philipp Rümmer, Fabio Somenzi, Wolfram Schulte, Aaron Stump, Geoff Sutcliffe, Nikhil Swamy, Nikolai Tillmann, Ashish Tiwari, Mike Whalen, Victor Winter, Daniele Zucchelli, Lenore Zuck.