Cesare Tinelli's Research
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.
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.