Up: Cooperating sites
The subsite Bergen is part of the Programming Theory Group at the Institute for Informatics of the University in Bergen.
The members participating are:
- Marc Bezem, contact person
- Hoang Anh Truong
The group is mainly going to contribute to the project objective Correctness of Computer Systems. Bezem and Truong are working on typing systems for component software in the framework of the project MoSIS (Modularity in large Software and Information Systems, Norwegian Science Council.) Other research interests are formal verification and automated proof search.
The following projects are collaborations with other members of the TYPES community.
- A chapter in the book on Typed Lambda Calculi edited by Barendregt (Nijmegen site).
- The book Term rewriting Systems (Cambridge University Press, ISBN 0521391156) co-authored and co-edited by Bezem and, among others, Klop (Nijmegen site).
- A joint research proposal called Automating Geometric Logic by Bezem and Coquand (Gothenburg site).
Bengt Nordström 2005-09-22