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 by Rod Burstall, Robin Milner, Gordon Plotkin and Matthew Hennessy. It is a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, databases and modelling.
 | 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
[edit]- ^ "LFCS 30 year anniversary". LFCS30. Retrieved 29 April 2016.
- ^ "Welcome to LFCS". LFCS home page. Retrieved 29 April 2016.
External links
[edit]| 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 adding missing information. |
 | This article about an organisation in Scotland is a stub. You can help Wikipedia by adding missing information. |
 | This United Kingdom university, college or other education institution article is a stub. You can help Wikipedia by adding missing information. |