Senior Researcher
Formal Methods (FM)
Department of Software Engineering (Software)

Centre for Mathematics and Computer Science (CWI)
Science Park 123
1098 XG Amsterdam
The Netherlands

Room L217

Telephone: +31-20-592-4056 direct
Telephone: +31-20-592-4189 secretary

Fax: +31-20-592-4199

My Official CWI page

Leids University Foundation Professor
Chair of Software Composition
Head of Foundations of Software Technology (FaST) Cluster
Leiden Institute for Advanced Computer Science (LIACS)
Leiden University
Niels Bohrweg 1
2333 CA Leiden
The Netherlands

Room 142

Telephone: +31-71-527-7108 direct
Telephone: +31-71-527-7061 secretary

Fax: +31-71-527-6985

LIACS home page         Official LIACS page              Official LUF page