Committees

 

Committees for HSCC 2016

Program Committee Chairs

Alessandro Abate, University of Oxford, UK
Georgios Fainekos, Arizona State University, USA

Publicity Chair

Sayan Mitra, University of Illinois at Urbana Champaign, USA

Repeatability Evaluation Chair

Ian M. Mitchell, University of British Columbia, Canada

Demo/Poster Chair

James Kapinski, Toyota Motors, USA

Program Committee

Shun-ichi Azuma, Kyoto University, Japan
Christel Baier, TU Dresden, Germany
Ezio Bartocci, TU Vienna, Austria
Calin Belta, Boston University, USA
Spring Berman, Arizona State University, USA
Mireille Broucke, University of Toronto, Canada
Krishnendu Chatterjee, IST Austria, Austria
Alessandro Cimatti, Fondazione Bruno Kessler, Italy
Alessandro D'Innocenzo, University of L'Aquila, Italy
Thao Dang, VERIMAG, France
Jyotirmoy Deshmukh, Toyota Motors, USA
Xu Chu Ding, United Technology Research Center, USA
Alexandre Donzé, UC Berkeley, USA
Martin Fränzle, Carl von Ossietzky Universität Oldenburg, Germany
Antoine Girard, University of Grenoble, France
Ichiro Hasuo, University of Tokyo, Japan
Jun-ichi Imura, Tokyo Institute of Technology, Japan
Franjo Ivancic, Google NY, USA
Taylor Johnson, UT Arlington, USA
Agung Julius, Rensselaer Polytechnic institute, USA
Sertac Karaman, MIT, USA
Joost-Pieter Katoen, RWTH Aachen University, Germany
Marta Kwiatkowska, University of Oxford, UK
Jun Liu, University of Waterloo, Canada
Daniele Magazzeni, King's College London, UK
Manuel Mazo Jr, TU Delft, The Netherlands 
Sayan Mitra, University of Illinois at Urbana Champaign, USA
Jens Oehlerking, Robert Bosch GmbH, Germany
Meeko Oishi, University of New Mexico, USA
Necmiye Ozay, University of Michigan, USA
Andreas Podelski, University of Freiburg, Germany
Pavithra Prabhakar, Kansas State University, USA
Maria Prandini, Politecnico di Milano, Italy
Akshay Rajhans, The MathWorks, USA
S Ramesh, General Motors R&D, India
Sriram Sankaranarayanan, University of Colorado at Boulder, USA
Oleg Sokolsky, University of Pennsylvania, USA
Herbert Tanner, University of Delaware, USA
Ufuk Topcu, UT Austin, USA
Ashuthosh Trivedi, IIT Bombay, India
Jana Tumova, KTH, Sweden
Verena Wolf, Saarland University, Germany
Majid Zamani, Technical University of Munich, Germany
Naijun Zhan, Chinese Academy of Sciences, PR China
Paolo Zuliani, Newcastle University, UK

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
TOP