FMT - UT


ITA - KUN


Philips


Progress


Aug 7, 2002
Henrik Bohnenkamp

University of Twente

Prof.dr. Ed Brinksma
(Responsible)

dr. Joost-Pieter Katoen
(Associate)

Dr. rer. nat. Henrik Bohnenkamp
(Post-doc)

ir. Ric Klaren
(Technical assistant)

University of Nijmegen

Prof.dr. Frits W. Vaandrager
(Responsible)

Miaomiao Zhang
(Post-doc)


Philips Research

Dr. Ron Koymans
(Industry partner)



Contact persons:

Prof.dr. Ed Brinksma

Dept. of Computer Science
University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands

brinksma@cs.utwente.nl
 
 
Prof.dr. Frits W. Vaandrager

Computing Science Department
University of Nijmegen
Toernooiveld 1
6525 ED Nijmegen
The Netherlands

fvaan@cs.kun.nl


Former members:

dr. Pedro R. D'Argenio
(now Universidad Nacional de Córdoba Ciudad, Argentina)