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.
[edit] Selected members
- Rod Burstall
- Michael Fourman
- Jane Hillston
- Gordon Plotkin
- Don Sannella
- Philip Wadler
- Peter Buneman