Top Qs
Timeline
Chat
Perspective
Laboratory for Foundations of Computer Science
Academic institution in City of Edinburgh, Scotland From Wikipedia, the free encyclopedia
Remove ads
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]
 | This article relies largely or entirely on a single source. (March 2024) |
 | This article only references primary sources. (March 2024) |
Remove ads
References
External links
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads