Next: Bologna
Up: Cooperating sites
Previous: Bialystok


The Birmingham group is in the Computer Science Department of the University of Birmingham. The group is working on both foundational and practical aspects, including work on semantics for proof search, program verification using linear logic to model state change, probabilistic model checking, automated verification for distributed systems, and representations for mathematics. Research in the group is supported by EPSRC, ESPRIT and the Midlands e-Science Centre.

The main contributions of the group to the objectives will be:

The senior members of the group are:

In the previous TYPES project, Ritter has visited Padova several times, in connection with the work on program verification. The group is also collaborating with Nottingham in teaching courses about type theory to starting PhD-students.

Birmingham homepage

Bengt Nordström 2005-09-22