Aarti Gupta |
Princeton University |
Abhishek Bichhawat |
IIT Gandhinagar |
Aditya V. Thakur |
University of California |
Ahmed Bouajjani |
University of Paris |
Aina Niemetz |
Stanford University |
Akash Lal chair |
Microsoft Research |
Alan J. Hu |
University of British Columbia |
Alessandro Cimatti |
Fondazione Bruno Kessler |
Alexander Nadel |
Intel |
Anastasia Mavridou |
KBR, NASA Ames Research Center |
Andreas Podelski |
University of Freiburg |
Ankush Desai |
Amazon Web Services |
Anna Slobodova |
Intel |
Anthony Widjaja Lin |
TU Kaiserslautern and Max-Planck Institute for Software Systems |
Arie Gurfinkel |
University of Waterloo |
Arjun Radhakrishna |
Microsoft |
Aws Albarghouthi |
University of Wisconsin-Madison |
Azadeh Farzan |
University of Toronto |
Bernd Finkbeiner |
CISPA Helmholtz Center for Information Security |
Bettina Koenighofer |
Graz University of Technology |
Bettina Könighofer |
Graz University of Technology |
Bor-Yuh Evan Chang |
University of Colorado Boulder & Amazon |
Burcu Kulahcioglu Ozkan |
Delft University of Technology |
Caterina Urban |
INRIA & École Normale Supérieure |
Cezara Dragoi |
Amazon Web Services |
Christoph Matheja |
Technical University of Denmark |
Claudia Cauli |
Amazon Web Services |
Constantin Enea chair |
LIX, CNRS, Ecole Polytechnique |
Corina Pasareanu |
CMU |
Cristina David |
University of Bristol |
Dirk Beyer |
LMU Munich |
Dirk Beyer |
LMU Munich |
Elizabeth Polgreen |
University of Edinburgh |
Elvira Albert |
Complutense U |
Elvira Albert |
Complutense University of Madrid |
Eunsuk Kang |
Carnegie Mellon University |
Gennaro Parlato |
University of Molise |
Hossein Hojjat |
Tehran University & Tehran Institute of Advanced Studies |
Ichiro Hasuo |
National Institute of Informatics |
Isil Dillig |
University of Texas Austin |
Javier Esparza |
Technische Universität München |
Joost-Pieter Katoen |
RWTH-Aachen University, Germany |
Juneyoung Lee |
AWS |
Jyotirmoy Deshmukh |
University of Southern California |
Kenneth L. McMillan |
University of Texas at Austin |
Kristin Yvonne Rozier |
Iowa State University |
Kshitij Bansal |
Google |
Kuldeep Meel |
National University of Singapore |
Kyungmin Bae |
POSTECH |
Marcell Vazquez-Chanlatte |
Alliance Innovation Lab (Nissan-Renault-Mitsubishi) |
Marieke Huisman |
University of Twente |
Markus Rabe |
Google |
Marta Kwiatkowska |
University of Oxford |
Matthias Heizmann |
University of Freiburg |
Michael Emmi |
AWS |
Mihaela Sighireanu |
University Paris Saclay, ENS Paris-Saclay and CNRS |
Mohamed Faouzi Atig |
Uppsala University |
Naijun Zhan |
Institute of Software, Chinese Academy of Sciences |
Nikolaj Bjorner |
Microsoft Research |
Nina Narodytska |
VMware Research |
Pavithra Prabhakar |
Kansas State University |
Pierre Ganty |
IMDEA Software Institute |
Rupak Majumdar |
Max Planck Institute for Software Systems |
Ruzica Piskac |
Yale University |
Sebastian Junges |
Radboud University |
Sébastien Bardin |
CEA, LIST, Université Paris Saclay |
Serdar Tasiran |
Amazon |
Sharon Shoham |
Tel Aviv University |
Shaz Qadeer |
Meta |
Shuvendu Lahiri |
Microsoft Research |
Subhajit Roy |
Indian Institute of Technology Kanpur |
Suguman Bansal |
Georgia Institute of Technolgy |
Swarat Chaudhuri |
UT Austin |
Sylvie Putot |
École Polytechnique |
Thomas Wahl |
GrammaTech, Inc. |
Tomáš Vojnar |
Brno University of Technology, FIT |
Yakir Vizel |
Technion - Israel Institute of Technology |
Yu-Fang Chen |
Academia Sinica, Taiwan |
Zhilin Wu |
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences |