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.

Alessandro Abate, Erika Ábrahám, Leni Aniva, Fareed Arif, Franz Baader, Christel Baier, Kshitij Bansal, Haniel Barbosa, Clark Barrett, Peter Baumgartner, Armin Biere, Jasmin Blanchette, François Bobot, Miquel Bofill, Maria Paola Bonacina, Hamza Bourbouh, Martin Nyx Brain, David Brumley, Adrien Champion, Omar Chowdhury, Darren Cofer, Byron Cook, Simon Cruanes, James Davenport, Cristina David, Morgan Deters, David Dill, Michael Durling, Bruno Duterte, Harley Eades III, Mitziu Echeverria, Matthew England, Burak Ekici, Mathias Fleury, Pascal Fontaine, Alexander Fuchs, Carsten Fuhs, Vijay Ganesh, Harald Ganzinger, Pierre-Loïc Garoche, Yeting Ge, Silvio Ghilardi, Amit Goel, Wolfgang Grieskamp, Alberto Griggio, Jim Grundy, Arie Gurfinkel, Liana Hadarean, George Hagen, Mehdi Harandi, Falk Howar, Apoorv Ingle, John Interrante, Ahmed Irfan, Dejan Jovanović, Temesghen Kahsai, Guy Katz, Chantal Keller, Pascal Kesseli, Tim King, Joseph Kiniry, Patrick Koopmann, Laura Kovács, Gereon Kremer, Daniel Kroening, Sava Krstić, Viktor Kuncak, Hanna Lachnitt, Daniel Larraz, Mickaël Laurent, Gary Leavens, Tianyi Liang, Robert Lorch, Carsten Lutz, Makai Mann, Alain Mebsout, David Melski, Baoluo Meng, José Meseguer, Steven Miller, Abdalrhman Mohamed, Mudathir Mohamed, Abha Moitra, Garrett Morris, Leonardo de Moura, Aina Niemetz, Robert Nieuwenhuis, Hans de Nivelle, Andres Nöetzli, Duccki Oe, Albert Oliveras, Alex Ozdemir, Junkil Park, Corina Pasareanu, Björn Pelzer, Brigitte Pientka, Alessandro Pinto, Elizabeth Polgreen, Mathias Preiner, Daniel Prince, Shaz Qadeer, Silvio Ranise, Christophe Ringeissen, Andrew Reynolds, Kristin Rozier, Philipp Rümmer, Kartik Sabharwal, Uli Sattler, Hans-Jörg Schurr, Roberto Sebastiani, Sanjit Seshia, Natarajan Shankar, Konrad Slind, Renate Schmidt, Ying Sheng, Kit Siu, Scott Smolka, Viorica Sofronie-Stokkermans, Christoph Sticksel, Aaron Stump, Thomas Sturm, Geoff Sutcliffe, Nestan Tsiskaridze, Anni-Yasmin Turhan, Moshe Vardi, Arjun Viswanathan, Scott Viteri, Andrei Voronkov, Lucas Wagner, Thomas Wahl, Christoph Weidenbach, Mike Whalen, Amalee Wilson, Frank Wolter, Maverick Woo, Moosa Yahyazadeh, Han Yu, Calogero Zarba, Yoni Zohar.

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, Timothy Bourke, Martin Brain, David Brumley, Marco Caccamo, David Cok, Morgan Deters, Michael Durling, Matt Dwyer, Branden Fitelson, Vijay Ganesh, Pierre-Loïc Garoche, Yeting Ge, Stéphane Graham-Lengrand, Jim Grundy, Arie Gurfinkel, Liana Hadarean, Joe Hendrix, Daisuke Ishii (石井 大輔), 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, Ruzica Piskac, Marc Pouzet, John Regehr, Ray Richards, Philipp Rümmer, Fabio Somenzi, Wolfram Schulte, Aaron Stump, Geoff Sutcliffe, Nikhil Swamy, Nikolai Tillmann, Ashish Tiwari, Margus Veanes, Thomas Wahl, Mike Walfish, Mike Whalen, Thomas Wies, Victor Winter, Daniele Zucchelli, Lenore Zuck.


Main Page
Research

  Publications

  Selected Talks

  Projects & Grants

  Collaborators

  Honors & Awards

  CLC