Committees

General and Program Chairs

Publication Chair

Florian Zuleger, Technische Universität Wien

Local Arrangements Chair & Webmaster

Program Committee
Pranav Ashar	Real Intent
Domagoj Babic	Google
Armin Biere	Johannes Kepler University Linz
Roderick Bloem	Graz University of Technology
Ahmed Bouajjani	University of Paris
Gianpiero Cabodi	Politecnico di Torino
Supratik Chakraborty	IIT-Mumbai
Leonardo de Moura	Microsoft Research
Michael Emmi	IMDEA Software Institute
Malay Ganai	Synopsys
Arie Gurfinkel	SEI, Carnegie Mellon University
Ziyad Hanna	Cadence Design System
Fei He	Tsinghua University
Keijo Heljanko	Aalto University
Warren Hunt	University of Texas Austin
Himanshu Jain	Synopsys
Gerwin Klein	NICTA and UNSW
Daniel Kroening	University of Oxford
Shuvendu Lahiri	Microsoft Research
Rebekah Leslie-Hurd	Intel
Panagiotis Manolios	Northeastern University
Kenneth McMillan	Microsoft Research
John O’Leary	Intel
Lee Pike	Galois, Inc.
Ruzica Piskac	Yale University (co-chair)
Ahmed Rezine	Linköping University
Sean Safarpour	Synopsys
Divjyot Sethi	CISCO
Natasha Sharygina	University of Lugano
Sharon Shoham	Tel Aviv
Muralidhar Talupur	FormalSim Inc (co-chair)
Michael Tautschnig	Queen Mary University of London
Tomas Vojnar	Brno University of Technology
Chao Wang	Virginia Tech
Eran Yahav	Technion
Florian Zuleger	Technische Universität Wien

Steering Committee
Armin Biere	Johannes Kepler University in Linz, Austria
Alan Hu	University of British Columbia, Canada
Warren A. Hunt, Jr.	The University of Texas at Austin, USA
Vigyan Singhal	Oski Tech