[Back]
Joseph Sifakis
École Polytechnique Fédérale de Lausanne