Laboratory for Foundations of Computer Science
From Wikipedia, the free encyclopedia
 |
This article may not meet the general notability guideline. Please help to establish notability by adding reliable, secondary sources about the topic. If notability cannot be established, the article is likely to be merged or deleted. (July 2009) |
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
- Julian Bradfield
- Peter Buneman
- Vincent Danos
- Kousha Etessami
- Wenfei Fan
- Michael Fourman
- Jane Hillston
- Paul B. Jackson
- Leonid Libkin
- Gordon Plotkin FRS
- Don Sannella
- Colin Stirling
- Philip Wadler
- Mary Cryan
- Alex Simpson
- Ian D. B. Stark
[edit] Previous
- Samson Abramsky
- Rod Burstall
- Luca Cardelli
- Martin Grohe
- Matthew Hennessy
- Mark Jerrum
- Christoph Koch
- Robin Milner
- Faron Moller
- David Pym
- Nicole Schweikardt
- Chris Tofts
- Mads Tofte
- Glynn Winskel
- Alistair Sinclair
[edit] External links
Coordinates: 55°55′16.5″N 3°10′25″W / 55.92125°N 3.17361°W
 |
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. |
