Committees
General and Program Chairs
- Daryl Stewart, ARM, UK
- Georg Weissenbacher, TU Wien
Student Forum Chair
- Keijo Heljanko, Aalto University
Publication Chair
- Mitra Tabaei, TU Wien
Webmaster
- Jens Katelaan, TU Wien
| Program Committee | |
|---|---|
| Jade Alglave | University College London & Microsoft Research |
| Christel Baier | Technical University of Dresden |
| Roderick Bloem | Graz University of Technology |
| Hana Chockler | King’s College London |
| Andreas Griesmayer | ARM |
| Arie Gurfinkel | University of Waterloo |
| Fei He | Tsinghua University |
| Alan J. Hu | University of British Columbia |
| Warren A. Hunt Jr. | University of Texas |
| Alexander Ivrii | IBM |
| Barbara Jobstmann | EPFL & Cadence Design Systems |
| Dejan Jovanovic | SRI International |
| Gerwin Klein | Data61 & UNSW Australia |
| Igor Konnov | TU Wien |
| Rebekah Leslie-Hurd | Intel |
| Ines Lynce | INESC-ID/IST, Universidade de Lisboa |
| Ken McMillan | Microsoft Research |
| Charles Morisset | Newcastle University |
| Lee Pike | Galois Inc. |
| Mitra Purandare | IBM |
| Ajitha Rajan | University of Edinburgh |
| Ahmed Rezine | Linköping University |
| Sean Safarpour | Synopsys |
| Roopsha Samanta | Purdue University |
| Martina Seidl | Johannes Kepler University Linz |
| Natasha Sharygina | USI Lugano |
| Anna Slobodova | Centaur Technology |
| Ana Sokolova | University of Salzburg |
| Daryl Stewart | ARM |
| Murali Talupur | FormalSim |
| Michael Tautschnig | Queen Mary University of London |
| Thomas Wahl | Northeastern University |
| Chao Wang | University of Southern California |
| Georg Weissenbacher | TU Wien |
| Florian Zuleger | TU Wien |
| FMCAD Steering Committee | |
|---|---|
| Armin Biere | Johannes Kepler University in Linz, Austria |
| Alan Hu | University of British Columbia, Canada |
| Warren Hunt | University of Texas at Austin, USA |
| Vigyan Singhal | Oski Tech |