Laboratory for Foundations of Computer Science

This is an old revision of this page, as edited by Stephengilmore1962 (talk | contribs) at 15:24, 31 May 2015. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

The Laboratory for Foundations of Computer Science (LFCS) is based in the School of Informatics at the University of Edinburgh, Scotland. It has an international reputation in theoretical computer science, mathematical logic and category theory.

Members of the LFCS

Professors

Readers

Previous members

55°55′16.5″N 3°10′25″W / 55.921250°N 3.17361°W / 55.921250; -3.17361