Laboratory for Foundations of Computer Science
 | This article relies largely or entirely on a single source. (March 2024) |
 | This article only references primary sources. (March 2024) |
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 by Rod Burstall, Robin Milner, Gordon Plotkin and Matthew Hennessy.[1] It is a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, databases and modelling.[2]
References
- ^ "LFCS 30 year anniversary". LFCS30. Retrieved 29 April 2016.
- ^ "Welcome to LFCS". LFCS home page. Retrieved 29 April 2016.
External links
| International | |
|---|---|
| National | |
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. |