Laboratory for Foundations of Computer Science: Difference between revisions

Revision as of 01:28, 1 May 2016

Revision as of 05:06, 8 October 2016

Line 1:

The '''Laboratory for Foundations of Computer Science''' (LFCS) is a research institute within the [[University of Edinburgh School of Informatics|School of Informatics]] at the [[University of Edinburgh]], [[in Scotland]]. It was founded in 1987 and is a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, databases and modelling.<ref>{{cite web|title=Welcome to LFCS|url=http://www.lfcs.ed.ac.uk|website=LFCS home page|accessdate=29 April 2016}}</ref>

== Full Professorsprofessors ==

*[[Stuart Anderson (professor)|Stuart Anderson]]

Line 45:

[[Category:University of Edinburgh]]

[[Category:Science and technology in Edinburgh]]

[[Category:1987 establishments in Scotland]]

[[Category:Educational institutions established in 1987]]

{{Scotland-edu-stub}}