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, Christel Baier, Kshitij Bansal, Clark Barrett, Peter Baumgartner, Armin Biere, Jasmin Blanchette , François Bobot, Miquel Bofill Martin Brain, David Brumley, Adrien Champion, Darren Cofer, Simon Cruanes, Morgan Deters, Burak Ekici, Pascal Fontaine, Alexander Fuchs, Carsten Fuhs, Vijay Ganesh, Harald Ganzinger, Pierre-Loïc Garoche, Yeting Ge, Silvio Ghilardi, Amit Goel, Jim Grundy, Arie Gurfinkel, Liana Hadarean, George Hagen, Mehdi Harandi, Falk Howar, Dejan Jovanović, Temesghen Kahsai, Chantal Keller, Tim King, Joseph Kiniry, Sava Krstić, Viktor Kuncak, Daniel Larraz, Gary Leavens, Tianyi Liang, Alain Mebsout, David Melski, José Meseguer, Steven Miller, Leonardo de Moura, Robert Nieuwenhuis, Hans de Nivelle, Duccki Oe, Albert Oliveras, Corina Pasareanu, Björn Pelzer, Alessandro Pinto, Silvio Ranise, Christophe Ringeissen, Andrew Reynolds, Philipp Rümmer, Roberto Sebastiani, Sanjit Seshia, Konrad Slind, Scott Smolka, Viorica Sofronie-Stokkermans, Christoph Sticksel, Aaron Stump, Geoff Sutcliffe, Nestan Tsiskaridze, Lucas Wagner, Thomas Wahl, Christoph Weidenbach, Mike Whalen, Maverick Woo, 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.

Aws Albarghouthi, Eyal Amir, Loris D'Antoni, Franz Baader, Tom Ball, Kshitij Bansal, Clark Barrett, Peter Baumgartner, François Bobot, Miquel Bofill, Tim Bourke, Martin Brain, David Brumley, Marco Caccamo, David Cok, Morgan Deters, Matt Dwyer, Branden Fitelson, Vijay Ganesh, Pierre-Loïc Garoche, Yeting Ge, Arie Gurfinkel, Liana Hadarean, Joe Hendrix, Chantal Keller, Joseph Kiniry, Alexander Koller, Gary Leavens, Rustan Leino, Yuliya Lierler, Pete Manolios, Rupak Majumdar, José Meseguer, Matt Might, Leonardo de Moura, Albert Oliveras, David Pichardie, Alessandro Pinto, Marc Pouzet, John Regehr, Philipp Rümmer, Fabio Somenzi, Wolfram Schulte, Aaron Stump, Geoff Sutcliffe, Nikhil Swamy, Nikolai Tillmann, Ashish Tiwari, Margus Veanes, Mike Walfish, Thomas Wahl, Mike Whalen, Victor Winter, Daniele Zucchelli, Lenore Zuck.


Main Page
Research

  Publications

  Selected Talks

  Projects & Grants

  Collaborators

  Honors & Awards

  CLC