Advisory Board


Manfred Broy
Technical University Munich, GER
Edmund M. Clarke
Carnegie Mellon University, USA
Jeff Kramer
Imperial College, UK
Kim G. Larsen
Aalborg University, Denmark
Nancy Lynch
MIT, USA
Joseph Sifakis
VERIMAG, FRA
Mary Lou Soffa
University of Virginia, USA
Moshe Y. Vardi
Rice University, USA
Akinori Yonezawa
University of Tokyo, JPN