Credits

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, Daneshvar Amrollahi, Bruno Andreotti, 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, Marsha Chechik, Omar Chowdhury, Rachel Cleaveland, Darren Cofer, Byron Cook, Simon Cruanes, James Davenport, Cristina David, Morgan Deters, David Dill, Rohit Dureja, Michael Durling, Bruno Duterte, Harley Eades III, Mitziu Echeverria, Matthew England, Burak Ekici, Nick Feng, 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, Ofec Israel, Jibiana Jakpor, Chris Johannsen, Robert B. Jones, Dejan Jovanović, Temesghen Kahsai, Guy Katz, Daniela Kaufmann, Chantal Keller, Pascal Kesseli, Harun Khan, Tim King, Joseph Kiniry, Lydia Kondylidou, 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, Tomaz Mascarenhas, 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, Karthik Nukala, Duccki Oe, Albert Oliveras, Alex Ozdemir, Junkil Park, Corina Pasareanu, Björn Pelzer, Elizaveta Pertseva, Brigitte Pientka, Alessandro Pinto, Elizabeth Polgreen, Mathias Preiner, Daniel Prince, Shaz Qadeer, Yicheng Qian, Shweta Rajiv, Silvio Ranise, Christophe Ringeissen, Andrew Reynolds, Kristin Rozier, Philipp Rümmer, Kartik Sabharwal, Pedro Saccomani, Uli Sattler, Renate Schmidt, Hans-Jörg Schurr, Roberto Sebastiani, Sanjit Seshia, Natarajan Shankar, Konrad Slind, Ying Sheng, Kit Siu, Scott Smolka, Viorica Sofronie-Stokkermans, Mallku Soldevila, 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.

Funders

I am gratefult to the following agencies and companies which have funded my research and related activities over the years.

AFOSR (2009-13), AFRL (2013–15, 2022–26), DARPA (2013–15, 2015–19, 2018–22, 2018–20, 2024–27). NASA (2013–16, 2014–16, 2014–18) NSF (1999-2002, 2003–8, 2006–08, 2009–12, 2010–11, 2010–12, 2011–17, 2017–23, 2020–22, 2020–23, 2023–25, 2024–26), ONR (2017–21),

AWS (2018–25), Certora (2022–23), Novi-Facebook() (2021–22) GE Global Research (2017–18, 2018–19) Intel Corporation (2005, 2006, 2011-12, 2013–14), Rockwell Collins (2013–14, 2018–19) United Technologies Research Center (2013–14, 2018–19)

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, Lydia Kondylidou, Mickaël Laurent, 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, Lucas Wagner, Mike Walfish, Mike Whalen, Thomas Wies, Victor Winter, Daniele Zucchelli, Lenore Zuck.