Up: Cooperating sites
The Foundations of Programming group is at the Department of Computer Science of the University of Nottingham. The aim of the group is to make substantial gains in the effectiveness of mathematical reasoning and apply such gains to the construction of computer programs. The research of the group is currently structured around the following main themes: Algebra of Programming, Functional Programming, and Logic in Computer Science. The group has its own series of research meetings, and is a founder member of the Midlands Graduate School in the Foundations of Computer Science, which provides postgraduate courses for PhD students in theoretical computer science. Research in the group has been supported by grants from EPSRC, ESPRIT, Microsoft Research, the British Council, and the (Dutch) Nederlandse Wetenschappelijke Organisatie.
The group will mainly contribute to the following objective:
- Correctness of computer programs: Hutton and Altenkirch are currently colloborating with McBride and McKinna from the Durham site on the design and application of dependently typed programming langauges.
The senior members of the Foundations of Programming Group are
- Thorsten Altenkirch, contact person
- Natasha Alechina
- Roland Backhouse
- Louise Dennis
- Graham Hutton
Altenkirch has actively participated in the previous Types Working Group as a member of the Munich site and has regularly contributed to the annual Types workshops. Dennis is investigating proof planning using technologies developed in the Types community with potential applications to the design of new proof editors.Nottingham homepage
Bengt Nordström 2005-09-22