Marcello M. Bonsangue

Available subjects

Contact information

Postal address:
Dr. M.M. Bonsangue
Centre for Mathematics and Computer Science (CWI)
Department of Software Technology
P.O. Box 94079
1090 GB Amsterdam
The Netherlands

Visiting address:
Room 26
Centre for Mathematics and Computer Science (CWI)
Kruislaan 413
Amsterdam
The Netherlands

Phone: +31 20 592 4139
Fax : +31 20 592 4199
Email: marcello@cwi.nl

Teaching

Spring 2001: Course on Semantics of Programming Languages at the Leiden Institute of Advanced Computer Science, Universiteit Leiden
Spring 2001: Course on Software Architecture at the Leiden Institute of Advanced Computer Science, Universiteit Leiden
Spring 2000: Seminar on Software Architecture at the Leiden Institute of Advanced Computer Science, Universiteit Leiden

Research interests

Formal methods and refinement for coordination languages, distributed object-oriented systems, and distributed software architectures.
Semantics of programming languages: operational, denotational and axiomatic.
Program refinement, predicate transformer and state transformer semantics of programming languages.
Topological dualities in semantics and logic.
Mathematical structures in semantics: metric spaces, complete partial orders and quasi-metric spaces.

CWI DISCLAIMER