Committees

 

Committees for HSCC 2017

Program Committee Chairs

Goran Frehse, Univ. Grenoble Alpes-Verimag
Sayan Mitra, University of Illinois at Urbana-Champaign

Program Committee

Alessandro Abate, Oxford University
Erika Abraham, RWTH Aachen University
Matthias Althoff, TU München
Saurabh Amin, MIT
Murat Arcak, UC Berkeley
Shun-Ichi Azuma, Kyoto University
Hamsa Balakrishnan, MIT
Ezio Bartocci, TU Wien
Calin Belta, Boston University
Sergiy Bogomolov, Australian National University
Alessandro Cimatti, Fondazione Bruno Kessler
Alessandro D'Innocenzo, University of L'Aquila
Thao Dang, VERIMAG, France
Anupam Datta, Carnegie Mellon University
Jyotirmoy Deshmukh, Toyota
Arvind Easwaran, Nanyang Technological University
Georgios Fainekos, Arizona State University
Lu Feng, University of Virginia
Martin Fränzle, Carl von Ossietzky Universität Oldenburg
Sicun Gao, MIT
Antoine Girard, Laboratoire des Signaux et Systèmes - CNRS
Ichiro Hasuo, University of Tokyo
Franjo Ivancic, Google
Taylor T Johnson, Vanderbilt University
James Kapinski, Toyota
Hadas Kress-Gazit, Cornell University
Marta Kwiatkowska, Oxford University
Mircea Lazar, Eindhoven University of Technology
Jun Liu, University of Waterloo
Daniele Magazzeni, King's College London
Manuel Mazo Jr., TU Delft
Ian Mitchell, University of British Columbia
Meeko Oishi, University of New Mexico
Necmiye Ozay, University of Michigan
André Platzer, Carnegie Mellon University
Vinayak Prabhu, MPI-SWS
Maria Prandini, Politecnico di Milano
Akshay Rajhans, MathWorks
S Ramesh, General Motors
Grigore Rosu, University of Illinois at Urbana-Champaign
Indranil Saha, Indian Institute of Technology Kanpur
Ricardo Sanfelice, University of Arizona
Scott Smolka, Stony Brook Universtiy
Oleg Sokolsky, University of Pennsylvania
Herbert Tanner, University of Delaware
Ashish Tiwari, SRI
Ufuk Topcu, University of Texas at Austin
Jana Tumova, Royal Institute of Technology
Ram Vasudevan, University of Michigan

Publicity Chair

Necmiye Ozay, University of Michigan

Demo and Poster Session Chair

Akshay Rajhans, MathWorks

Repeatability Evaluation Chair

Sergiy Bogomolov, Australian National University

Awards Chair

Ricardo Sanfelice, University of Califronia at Santa Cruz

Steering Committee

Rajeev Alur, University of Pennsylvania, USA
Werner Damm, OFFIS, Germany
John Lygeros, ETH Zurich, Switzerland
Oded Maler, Verimag, France
Paulo Tabuada, UCLA, USA
Claire Tomlin, University of California Berkeley, USA

Webmaster

Hussein Sibai, University of Illinois at Urbana-Champaign

Sponsors


Contact

email HSCC17 PC Chairs



TOP