Foto

Arend Rensink

Full professor (Software Modelling, Transformation and Verification)
Formal Methods and Tools 
Department of Computer Science
University of Twente
P.O. Box 217, NL-7500 AE Enschede

Office:  Zilverling 3090
Tel: +31 (0)53 489 4862
Fax: +31 (0)53 489 3247
Email: rensink@cs.utwente.nl

WB00882_.GIF (263 bytes) Research

WB00882_.GIF (263 bytes) Teaching

WB00882_.GIF (263 bytes) Other activities

WB00882_.GIF (263 bytes) Personal


Page provided by Arend Rensink.