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
- David Aspinall
- Julian Bradfield
- Peter Buneman FRS
- Mary Cryan
- Vincent Danos
- Kousha Etessami
- Wenfei Fan
- Michael Fourman Fellow BCS
- Stephen Gilmore
- Jane Hillston
- Paul Jackson
- Leonid Libkin
- John Longley
- Richard Mayr
- Robin Milner FRS
- Gordon Plotkin FRS
- Don Sannella
- Perdita Stevens
- Colin Stirling
- Ian D. B. Stark
- Alex Simpson
- Philip Wadler Fellow ACM
[edit] Previous
- Samson Abramsky
- Rod Burstall
- Luca Cardelli
- Rocco De Nicola
- Javier Esparza
- Martin Grohe
- Matthew Hennessy
- Mark Jerrum
- Christoph Koch
- Eugenio Moggi
- Faron Moller
- John Power
- David Pym
- Davide Sangiorgi
- 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. |
