The topic of this article may not meet Wikipedia's notability guidelines for companies and organizations. (June 2014) |
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
- Stuart Anderson
- Peter Buneman MBE FRS FRSE
- Vincent Danos
- Wenfei Fan FRSE
- Michael Fourman FBCS FRSE
- Stephen Gilmore (Director)
- Jane Hillston FRSE
- Gordon Plotkin FRS FRSE
- Don Sannella FRSE
- Perdita Stevens
- Colin Stirling
- Philip Wadler FACM FRSE