Committees

Program Committee

  • Jade Alglave, University College London
  • Ezio Bartocci, TU Wien
  • Andrew Butterfield, Lero, Trinity College Dublin
  • Franck Cassez, Macquarie University
  • Ana Cavalcanti, University of York
  • Mads Dam, KTH Royal Institute of Technology
  • Alastair Donaldson, Imperial College London
  • Stefania Gnesi, ISTI
  • Chris Hawblitzel, Microsoft
  • Jérome Hugues, ISAE
  • Limin Jia, CMU
  • Tiziana Margaria, Lero, University of Limerick
  • Toby Murray, NICTA and UNSW (Co-Chair)
  • John Regehr, University of Utah
  • David Sanán, NTU (Co-Chair)
  • Konrad Slind, Rockwell Collins
  • Jun Sun, SUTD
  • Alwen Tiu, NTU
  • Mark van den Brand, Eindhoven University of Technology

Steering Committee

  • Ralf Huuck, NICTA and UNSW
  • Gerwin Klein, NICTA and UNSW
  • Bastian Schlich, ABB Corporate Research

Comments are closed.