Laboratory for Foundations of Computer Science
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, mathematical logic and category theory.
Selected members
Current
- Stuart Anderson
- David Aspinall
- Julian Bradfield
- Peter Buneman MBE FRS FRSE
- Mary Cryan
- Vincent Danos
- Kousha Etessami
- Wenfei Fan FRSE
- Michael Fourman FBCS FRSE
- Stephen Gilmore
- Jane Hillston FRSE
- Paul Jackson
- Leonid Libkin FRSE
- John Longley
- Richard Mayr
- Gordon Plotkin FRS FRSE
- Don Sannella
- Perdita Stevens
- Colin Stirling
- Ian Stark
- Alex Simpson
- Philip Wadler Fellow ACM FRSE
Previous
- Samson Abramsky
- Rod Burstall
- Luca Cardelli
- Rocco De Nicola
- Javier Esparza
- Martin Grohe
- Matthew Hennessy
- Mark Jerrum
- Christoph Koch
- Robin Milner FRS
- Eugenio Moggi
- Faron Moller
- John Power
- David Pym
- Davide Sangiorgi
- Nicole Schweikardt
- Chris Tofts
- Mads Tofte
- Glynn Winskel
- Alistair Sinclair
External links
55°55′16.5″N 3°10′25″W / 55.921250°N 3.17361°W
 | This article relating to education in Scotland is a stub. You can help Wikipedia by expanding it. |
 | This article about an organisation in Scotland is a stub. You can help Wikipedia by expanding it. |
 | 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. |