Formal Methods in
Computer-Aided Design
Oct 17—21, 2022
Trento, Italy

Program Committee

FMCAD 2022 PROGRAM COMMITTEE

Erika Abraham

RWTH Aachen University

Jade Alglave

University College London

Josh Berdine

Facebook

Per Bjesse

Synopsys Inc.

Nikolaj Bjorner

Microsoft Research

Roderick Bloem

Graz University of Technology

Supratik Chakraborty

IIT Bombay

Sylvain Conchon

Universite Paris-Sud

Vijay D’Silva

Google

Rayna Dimitrova

CISPA Helmholtz Center for Information Security

Rohit Dureja

IBM

Grigory Fedyukovich

Florida State University

Arie Gurfinkel

University of Waterloo

Fei He

Tsinghua University

Ahmed Irfan

Amazon Web Services, Inc.

Alexander Ivrii

IBM

Barbara Jobstmann

EPFL

Tim King

Google

Kuldeep Meel

National University of Singapore

Sergio Mover

École Polytechnique

Alexander Nadel

Intel

Aina Niemetz

Stanford University

Elizabeth Polgreen

University of Edinburgh

Rahul Purandare

IIIT-Delhi

Andrew Reynolds

University of Iowa

Marco Roveri

Università di Trento

Kristin Yvonne Rozier

Iowa State University

Philipp Ruemmer

Uppsala University

Cristoph Scholl

University of Freiburg

Natasha Sharygina

Università della Svizzera italiana (USI Lugano)

Elena Sherman

University of Iowa

Sharon Shoham

Tel Aviv University

Anna Slobodova

Intel

Christoph Sticksel

The Mathworks

Michael Tautschnig

Amazon Web Services, Inc.

Nestan Tsiskaridze

Stanford University

Yakir Vizel

Technion

Georg Weissenbacher

Vienna University of Technology

Michael Whalen

Amazon Web Services, Inc.