Formal Methods in
Computer-Aided Design
October 23-27, 2023
Ames, Iowa, USA

Program Committee

FMCAD 2023 PROGRAM COMMITTEE

Alessandro Abate

Oxford

Guy Amir

Hebrew University

Clark Barrett

Stanford University

Per Bjesse

Synopsys Inc.

Roderick Bloem

Graz University of Technology

Ivana Cerna

Masaryk University

Supratik Chakraborty

IIT Bombay

Sylvain Conchon

Universite Paris-Sud

Rayna Dimitrova

CISPA Helmholtz Center for Information Security

Rohit Dureja

IBM

Grigory Fedyukovich

Florida State University

Mathias Fleury

University of Freiburg

Amit Goel

Amazon

Alberto Griggio

FBK

Arie Gurfinkel

University of Waterloo

Liana Hadarean

Amazon Web Services

Ziyad Hanna

Cadence Design Systems

William Harrison

Two Six Technologies

Bo-Yuan Huang

Intel

Alan Jović

University of Zagreb

Daniela Kaufmann

TU Wien

Tim King

Google

Stepan Kochemazov

ISDCT SB RAS, ITMO University

Rebekah Leslie-Hurd

Rain

Andreas Lööw

Imperial College London

Kuldeep Meel

University of Toronto

Baoluo Meng

GE Research

Naoko Okubo

Japan Aerospace Exploration Agency (JAXA)

Andrew Reynolds

University of Iowa

Philipp Ruemmer

University of Regensburg

Cristoph Scholl

University of Freiburg

Roberto Sebastiani

University of Trento

Shaowei Cai

Chinese Academy of Sciences

Natasha Sharygina

Università della Svizzera Italiana (USI Lugano)

Christoph Sticksel

The Mathworks

Christoph Torens

DLR

Nestan Tsikaridze

Stanford University

Yakir Vizel

Technion

Georg Weissenbacher

TU Wien

Michael Whalen

Amazon Web Services, Inc.

Shufang Zhu

Oxford