LOGO
Formal Methods in
Computer-Aided Design
Prague, Czech Republic
October 14 - 18, 2024
FMCAD 2024

Program Committee

FMCAD 2024 Committees

Guy Amir
The Hebrew University of Jerusalem
Mohamed Faouzi Atig
Uppsala University
Jaroslav Bendík
Certora
Armin Biere
Freiburg University
Per Bjesse
Synopsys Inc.
Nikolaj Bjørner
Microsoft
Roderick Bloem
Graz University of Technology
Shaowei Cai
Institute of Software, Chinese Academy of Sciences
Ivana Cerna
Masaryk University
Rayna Dimitrova
CISPA Helmholtz Center for Information Security
Rohit Dureja
Advanced Micro Devices, Inc.
Gabriel Ebner
Microsoft Research
Grigory Fedyukovich
Florida State University
Alberto Griggio
Fondazione Bruno Kessler
Arie Gurfinkel
University of Waterloo
Liana Hadarean
Amazon Web Services
William Harrison
Two Six Technologies, High Assurance Solutions group
Bo-Yuan Huang
Intel Corporation
William Hung
Cadence
Warren Hunt
The University of Texas at Austin
Ahmed Irfan
SRI International
Mikoláš Janota
Czech Technical University in Prague
Daniela Kaufmann
Vienna University of Technology
Tim King
Google
Anna Lukina
TU Delft
Andreas Lööw
Chalmers University of Technology
Ravi Mangal
Carnegie Mellon University
Ken McMillan
UT Austin
Baoluo Meng
GE Global Research
David Monniaux
Verimag
Alexander Nadel
The Technion and Intel
Nina Narodytska
VMware Research
Ruzica Piskac
Yale University
Mathias Preiner
Stanford University
Mohammad Rahmani Fadiheh
Stanford University
Andrew Reynolds
University of Iowa
Kristin Yvonne Rozier
Iowa State University
Philipp Rümmer
University of Regensburg and Uppsala University
Natasha Sharygina
University of Lugano
Aditya A. Shrotri
Rice University
Carsten Sinz
Karlsruhe University of Applied Sciences
Christoph Sticksel
The MathWorks
Martin Suda
Czech Technical University in Prague
Tachio Terauchi
Waseda University
Yakir Vizel
Technion
Tomas Vojnar
Brno University of Technology
Mike Whalen
Amazon Web Services
Thomas Wies
New York University
Hongce Zhang
Hong Kong University of Science and Technology (Guangzhou)
Shufang Zhu
University of Oxford
Florian Zuleger
Vienna University of Technology