Next: Manchester
Up: Cooperating sites
Previous: Kent


The Foundations of Computer Science Group is a part of the Institute of Informatics of Jagiellonian University of Kraków.

The members of the group who will participate in the project include:

Marek Zaionc and Magorzata Moczurad work on lambda definability problems in typed lambda calculus. Marek Zaionc recently also works on asymptotic properties of propositional logics. Pawe Waszkiewicz works on quantitative aspects of domain theory and its implications for topology.

The group cooperates with the sites at ENS Lyon and Chambery. There are also good contacts with Birmingham University resulting in the PhD thesis of Pawe Waszkiewicz.

Kraków homepage

Bengt Nordström 2005-09-22