| Erika |
Abraham |
RWTH Aachen University |
| Thom |
Badings |
University of Oxford |
| Kshitij |
Bansal |
Google |
| Per |
Bjesse |
Synopsys, Inc. |
| Nikolaj |
Bjørner |
Microsoft Research |
| Martin |
Blicha |
University of Lugano |
| Roderick |
Bloem |
Graz University of Technology |
| Rayna |
Dimitrova |
CISPA Helmholtz Center for Information Security |
| Katalin |
Fazekas |
TU Wien |
| Pascal |
Fontaine |
Université de Lorraine |
| Mirco |
Giacobbe |
University of Birmingham |
| Alberto |
Griggio |
Fondazione Bruno Kessler |
| Liana |
Hadarean |
Amazon Web Services |
| Osman |
Hasan |
National University of Sciences and Technology (NUST) |
| Paula |
Herber |
University of Münster |
| Marijn |
Heule |
Carnegie Mellon University |
| Antti |
Hyvärinen |
Certora |
| Alexey |
Ignatiev |
Monash University |
| Mikolas |
Janota |
Czech Technical University in Prague |
| Susmit |
Jha |
SRI International |
| Jianwen |
Li |
East China Normal University |
| Benedikt |
Maderbacher |
CISPA Helmholtz Center for Information Security |
| Enrico |
Magnago |
Amazon Web Services |
| Sergio |
Mover |
Ecole Polytechnique |
| Nina |
Narodytska |
Samsung Research America |
| Aina |
Niemetz |
Stanford |
| Mathias |
Preiner |
Stanford |
| Stefan |
Ratschan |
Czech Technical University in Prague |
| Giles |
Reger |
University of Manchester |
| Kristin |
Rozier |
Iowa State University |
| Christoph |
Scholl |
University of Freiburg |
| Martina |
Seidl |
Johannes Kepler University Linz |
| Natasha |
Sharygina |
University of Lugano |
| Mate |
Soos |
Ethereum Foundation |
| Christoph |
Sticksel |
The MathWorks |
| Martin |
Tappler |
TU Wien |
| Georg |
Weissenbacher |
TU Wien |
| Emily |
Yu |
Institute of Science and Technology Austria |
| Hongce |
Zhang |
Hong Kong University of Science and Technology (Guangzhou) |
| Zhen |
Zhang |
Utah State University |
| Yoni |
Zohar |
Bar-Ilan University |
