Strategic Management Board
- Almeida
- Arzen
- Benini
- Benveniste
- Bouyssounouse
- Brinksma
- Burns
- Buttazzo
- Henzinger
- Jonsson
- Madsen
- Marwedel
- Sangiovanni-Vincentelli
- Sifakis
- Thiele
- Wilhelm
Subscriptions
Core Team Leaders
Kim Guldstrad Larsen
Role within the ArtistDesign European Network of Excellence
Member of the Strategic Management Board
Cluster Leader for
Modeling and Validation
Leader of the JPRA Activity: “Validation”
Member of the Strategic Management Board
Cluster Leader for
Modeling and Validation Leader of the JPRA Activity: “Validation”
Role within the Artist2 European Network of Excellence
Member of the Strategic Management Board
Cluster Leader for
Testing and Verification
Activity Leader - Testing and Verification Platform (JPIA-Platform)
Company or Institution
Aalborg UniversityContact
Home page: http://www.cs.auc.dk/~kgl/ Email: 
Kim Guldstrand Larsen <kgl@cs.auc.dk>
Tel: +45 96 35 88 93
(c) Artist2 Consortium, All Rights Reserved - 2006