Laboratory for Foundations of Computer Science
 | 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
Readers
Previous members
- Samson Abramsky
- Rod Burstall
- Luca Cardelli
- Matthew Hennessy
- Mark Jerrum
- Robin Milner FRS
- Eugenio Moggi
- Faron Moller
- Davide Sangiorgi
- Chris Tofts
- Mads Tofte
External links
55°55′16.5″N 3°10′25″W / 55.921250°N 3.17361°W
 | This article relating to education in Scotland is a stub. You can help Wikipedia by expanding it. |
 | This article about an organisation in Scotland is a stub. You can help Wikipedia by expanding it. |
 | This United Kingdom university, college or other education institution article is a stub. You can help Wikipedia by expanding it. |
 | This computer science article is a stub. You can help Wikipedia by expanding it. |