Member of the Strategic Management Board
Cluster Leader for
Modeling and Validation
Participates in
Intercluster activity: Design for Predictability and Performance
Leader of the JPRA Activity: “Modeling”
Role within the Artist2 European Network of Excellence
Participates in
Real-Time Components
Ecole Polytechnique Fédérale de Lausanne
Home page: http://mtc.epfl.ch/~tah/
Email:
Tom Henzinger <tah@eecs.berkeley.edu>
Tel: +41 21 693-5234