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.
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.