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
- Mary Cryan
- Julian Bradfield
- Alex Simpson
[edit] Previous
- Samson Abramsky
- Rod Burstall
- Robin Milner
- Mads Tofte
- Matthew Hennessy
- Mark Jerrum
- Luca Cardelli
- Glynn Winskel
- Alistair Sinclair
[edit] External links