| Guy |
Amir |
Cornell University |
| Erika |
Ábrahám |
RWTH Aachen University |
| Kshitij |
Bansal |
Google |
| Haniel |
Barbosa |
Universidade Federal de Minas Gerais |
| Per |
Bjesse |
Synopsys Inc. |
| Nikolaj |
Bjørner |
Microsoft |
| Martin |
Blicha |
University of Lugano |
| Roderick |
Bloem |
Graz University of Technology |
| Rayna |
Dimitrova |
CISPA Helmholtz Center for Information Security |
| Supratik |
Chakraborty |
IIT Bombay |
| Aleksandar |
Chakarov |
Phase Change Software LLC |
| Pascal |
Fontaine |
Université de Liège |
| Katalin |
Fazekas |
TU Wien |
| Divya |
Gopinath |
NASA Ames (KBR Inc.) |
| Alberto |
Griggio |
Fondazione Bruno Kessler |
| Arie |
Gurfinkel |
University of Waterloo |
| Liana |
Hadarean |
Amazon Web Services |
| Paula |
Herber |
University of Münster |
| Osman |
Hasan |
National University of Sciences and Technology (NUST) |
| Marijn |
Heule |
Carnegie Mellon University |
| Antti |
Hyvärinen |
Certora |
| Alexey |
Ignatiev |
Monash University |
| Mitesh |
Jain |
Rivos Inv. |
| Mikolas |
Janota |
Czech Technical University in Prague |
| Susmit |
Jha |
SRI International |
| Martin |
Jonas |
Masaryk University |
| Jianwen |
Li |
East China Normal University |
| Enrico |
Magnago |
Amazon Web Services |
| Sergio |
Mover |
Ecole Polytechnique |
| Antonina |
Nepeivoda |
Program System Institute of RAS |
| Aina |
Niemetz |
Stanford University |
| Mathias |
Preiner |
Stanford University |
| Stefan |
Ratschan |
Czech Academy of Sciences |
| Kristin |
Rozier |
Iowa State University |
| Philipp |
Rümmer |
University of Regensburg and Uppsala University |
| Mark |
Santolucito |
Barnard College |
| Christoph |
Scholl |
University of Freiburg |
| Martina |
Seidl |
Johannes Kepler University Linz |
| Natarajan |
Shankar |
SRI International |
| Natasha |
Sharygina |
University of Lugano |
| Anna |
Slobodova |
ARM |
| Mate |
Soos |
Ethereum Foundation |
| Christoph |
Sticksel |
The MathWorks |
| Nestan |
Tsiskaridze |
Stanford University |
| Ashish |
Tiwari |
Microsoft |
| Georg |
Weissenbacher |
TU Wien |
| Andrew |
Wu |
Amherst College |
| Nisansala |
Yatapanage |
Australian National University |
| Emily |
Yu |
Institute of Science and Technology Austria |
| Cunxi |
Yu |
University of Maryland |
| Zhen |
Zhang |
Utah State University |
| Hongce |
Zhang |
Hong Kong University of Science and Technology (Guangzhou) |
| Yoni |
Zohar |
Bar-Ilan University |
