Next: Bialystok
Up: Cooperating sites
Previous: Bamberg


The subsite Bergen is part of the Programming Theory Group at the Institute for Informatics of the University in Bergen.

The members participating are:

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.

Bergen homepage

Bengt Nordström 2005-09-22