Laboratory for Foundations of Computer Science
The Laboratory for Foundations of Computer Science (LFCS) is a research institute within the School of Informatics at the University of Edinburgh, in Scotland. It was founded in 1987 and is a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, databases and modelling.[1]
Full professors
- Stuart Anderson
- Peter Buneman MBE FRS FRSE
- Vincent Danos
- Wenfei Fan FACM FRSE
- Michael Fourman FBCS FRSE
- Stephen Gilmore
- Andrew Gordon
- Jane Hillston FRSE
- Aggelos Kiyias
- Gordon Plotkin FRS FRSE
- Don Sannella FRSE
- Perdita Stevens
- Colin Stirling
- Philip Wadler FACM FRSE
Selected Past Members
References
- ↑ "Welcome to LFCS". LFCS home page. Retrieved 29 April 2016.
External links
Coordinates: 55°55′16.5″N 3°10′25″W / 55.921250°N 3.17361°W
This article is issued from
Wikipedia.
The text is licensed under Creative Commons - Attribution - Sharealike.
Additional terms may apply for the media files.