Formal Methods in
Computer-Aided Design
Yale University

Program Committee

FMCAD 2021 COMMITTEES

PC:

Erika Abraham

RWTH Aachen University

Jade Alglave

University College London

Pranav Ashar

Real Intent

Per Bjesse

Synopsys Inc.

Roderick Bloem

Graz University of Technology

Ivana Cerna

Masaryk University

Supratik Chakraborty

IIT Bombay

Sylvain Conchon

Universite Paris-Sud

Leonardo de Moura

Microsoft

Rayna Dimitrova

CISPA Helmholtz Center for Information Security

Grigory Fedyukovich

Florida State University

Arie Gurfinkel

University of Waterloo

Liana Hadarean

Amazon Web Services, Inc.

Ziyad Hanna

Cadence Design Systems

Fei He

Tsinghua University

Marijn Heule

Carnegie Mellon University

Warren Hunt

The University of Texas at Austin

Alexander Ivrii

IBM

Dejan Jovanović

SRI International

Alan Jović

University of Zagreb

Laura Kovacs

Vienna University of Technology

Ton Chanh Le

Stevens Institute of Technology

Rebekah Leslie-Hurd

Cerebras

Kuldeep Meel

National University of Singapore

Elizabeth Polgreen

University of California, Berkeley

Andrew Reynolds

University of Iowa

Cristoph Scholl

University of Freiburg

Natasha Sharygina

Università della Svizzera italiana (USI Lugano, Switzerland)

Anna Slobodova

Centaur Technology

Christoph Sticksel

The Mathworks

Murali Talupur

Amazon Web Services, Inc.

Jean-Baptiste Tristram

Boston College

Yakir Vizel

Technion

Thomas Wahl

Northeastern University

Georg Weissenbacher

Vienna University of Technology

Thomas Wies

New York University

Valentin Wüstholz

ConsenSys

Lenore Zuck

University of Illinois in Chicago