Laboratory for Foundations of Computer Science
Appearance
The Laboratory for Foundations of Computer Science (LFCS) is based in the School of Informatics at the University of Edinburgh, Scotland.[1]
Members of the LFCS
Professors
- Stuart Anderson
- Peter Buneman MBE FRS FRSE
- Vincent Danos
- Wenfei Fan FRSE
- Michael Fourman FBCS FRSE
- Stephen Gilmore (Director)
- Jane Hillston FRSE
- Gordon Plotkin FRS FRSE
- Don Sannella FRSE
- Perdita Stevens
- Colin Stirling
- Philip Wadler FACM FRSE
Readers
Previous members
- Samson Abramsky
- Rod Burstall
- Luca Cardelli
- Matthew Hennessy
- Mark Jerrum
- Robin Milner FRS
- Eugenio Moggi
- Faron Moller
- Davide Sangiorgi
- Chris Tofts
- Mads Tofte
External links
55°55′16.5″N 3°10′25″W / 55.921250°N 3.17361°W
- ^ by Igor Privara and Peter Ruzicka, "Mathematical Foundations of Computer Science 1997" Springer ISBN 3540634371 pp 3