Henk Alblas

H. Alblas University of Twente Faculty of Computer Science Formal Methods & Tools Group P.O. Box 217 7500 AE Enschede The Netherlands Phone: +31 53 4893685 Fax: +31 53 4893247 Email:alblas@cs.utwente.nl Homepage:http://www.cs.utwente.nl/~alblas/ Office: INF 1063

---

I am associate professor in the Formal Methods & Tools Group, in the Faculty of Computer Science at the University of Twente.

I am also Director of Education of the Telematics Programme of the University of Twente. This involves both the Regular (Dutch) Programme and the International Masters Programme.

---

Publications

This page was last updated by Henk Alblas on 2002-08-16