Curriculum Vitae:
Positions
- Professor of theoretical software engineering / group leader of the Section Software Engineering of the CSP Laboratory of the Institute of Informatics in the Faculty of Science of the University of Amsterdam)
- Honorary visiting professor Department of Computer Science, University of Swansea (Wales, UK)
- 1985-2008, part-time position: Professor of Applied Logic, Utrecht Univerity, Department of Philosophy
Main Research Interests:
- process theory and theory of multi-threading
- abstract data types
- foundations of programming
- sequential and multi-valued logics
|