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.
Notable members
Current
- Peter Buneman MBE FRS FRSE
- Michael Fourman FBCS FRSE
- Jane Hillston FRSE
- Gordon Plotkin FRS FRSE
- Don Sannella
- 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
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. |