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