Laboratory for Foundations of Computer Science
Appearance
![]() | 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
- Peter Buneman MBE FRS FRSE
- Wenfei Fan FRSE
- Michael Fourman FBCS FRSE
- Jane Hillston FRSE
- Gordon Plotkin FRS FRSE
- Don Sannella FRSE
- Philip Wadler FACM FRSE
Previous
- Samson Abramsky
- Rod Burstall
- Luca Cardelli
- Matthew Hennessy
- Mark Jerrum
- Robin Milner FRS
- Eugenio Moggi
- Faron Moller
- Davide Sangiorgi
- Chris Tofts
- Mads Tofte