Laboratory for Foundations of Computer Science
From Wikipedia, the free encyclopedia
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.
Contents |
[edit] Selected members
[edit] Current
- Peter Buneman
- Wenfei Fan
- Michael Fourman
- Jane Hillston
- Leonid Libkin
- Gordon Plotkin
- Don Sannella
- Colin Stirling
- Philip Wadler
[edit] Previous
- Samson Abramsky
- Rod Burstall
- Robin Milner
- Mads Tofte
- Matthew Hennessy
- Mark Jerrum
- Alistair Sinclair
[edit] External links
 |
This organization-related article is a stub. You can help Wikipedia by expanding it. |
 |
This computer-related article is a stub. You can help Wikipedia by expanding it. |
