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
[edit | edit source]External links
[edit | edit source]Lua error in Module:Authority_control at line 153: attempt to index field 'wikibase' (a nil value). Lua error in Module:Coordinates at line 489: attempt to index field 'wikibase' (a nil value).
 | 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. |