Program committee VMCAI 2017

Erika Abraham Committee Member

RWTH Aachen University

Germany

Mohamed Faouzi Atig

Uppsala University

Sweden

Roderick Bloem

Institute of Software Technology, Graz University of Technology

Ahmed Bouajjani

IRIF, Université Paris Diderot

France

Wei-Ngan Chin

National University of Singapore

Byron Cook

Amazon

Deepak D'Souza

Cezara Drăgoi

INRIA, ENS, CNRS

France

Roberto Giacobazzi

University of Verona, Italy

Laure Gonnord

University of Lyon & LIP, France

France

Orna Grumberg

Technion – Israel Institute of Technology

Dejan Jovanović

SRI International

United States

Konstantin Korovin

University of Manchester

Laura Kovacs

Chalmers University of Technology

Shuvendu K. Lahiri

Microsoft Research

Akash Lal

Microsoft Research India

India

Rupak Majumdar

MPI-SWS

David Monniaux

CNRS, VERIMAG

France

Madhavan Mukund

Chennai Mathematical Institute

India

Andreas Podelski

University of Freiburg, Germany

Germany

Corina S. Păsăreanu

NASA Ames Research Center

Jean-François Raskin

Université Libre de Bruxelles

Sriram Sankaranarayanan

University of Colorado, Boulder

Armando Solar-Lezama

MIT CSAIL

United States

Marielle Stoelinga

University of Twente

Boris Yakobowski

CEA - LIST

France