Laboratory for Foundations of Computer Science: Difference between revisions

Revision as of 15:35, 3 December 2012

Latest revision as of 19:15, 25 March 2025

(47 intermediate revisions by 33 users not shown)

Line 1:

{{Short description|Academic institution in City of Edinburgh, Scotland}}

The '''Laboratory for Foundations of Computer Science''' (LFCS) is based in the [[University of Edinburgh School of Informatics|School of Informatics]] at the [[University of Edinburgh]], [[Scotland]]. It has an international reputation in [[theoretical computer science]], [[mathematical logic]] and [[category theory]].

{{one source |date=March 2024}}

{{only primary sources |date=March 2024}}

{{Use dmy dates|date=December 2016}}

{{Use British English|date=December 2016}}

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]] by [[Rod Burstall]], [[Robin Milner]], [[Gordon Plotkin]] and [[Matthew Hennessy]].<ref>{{cite web|title=LFCS 30 year anniversary|url=https://events.inf.ed.ac.uk/lfcs30/|website=LFCS30|accessdate=29 April 2016}}</ref> It is a community of theoretical [[computer scientist]]s with interests in [[Concurrency (computer science)|concurrency]], [[semantics (computer science)|semantics]], [[category theory|categories]], [[algebra]], [[type theory|types]], [[formal logic|logic]], [[algorithm]]s, [[computational complexity theory|complexity]], [[database theory|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>

==References==

== Selected members ==

{{Reflist}}

=== Current ===

*[[David Aspinall]]

*[[Julian Bradfield]]

*[[Peter Buneman]] [[Fellow of the Royal Society|FRS]]

*[[Mary Cryan]]

*[[Vincent Danos]]

*[[Kousha Etessami]]

*[[Wenfei Fan]]

*[[Michael Fourman]] [[Fellow BCS]]

*Stephen Gilmore

*[[Jane Hillston]]

*[[Paul Jackson]]{{dn|date=December 2011}}

*[[Leonid Libkin]]

*[[John Longley (scientist)|John Longley]]

*Richard Mayr

*[[Gordon Plotkin]] [[Fellow of the Royal Society|FRS]]

*[[Don Sannella]]

*[[Perdita Stevens]]

*[[Colin Stirling]]

*[[Ian Stark (scientist)|Ian Stark]]

*[[Alex Simpson (scientist)|Alex Simpson]]

*[[Philip Wadler]] [[Fellow ACM]]

=== Previous ===

*[[Samson Abramsky]]

*[[Rod Burstall]]

*[[Luca Cardelli]]

*[[Rocco De Nicola]]

*[[Javier Esparza]]

*[[Martin Grohe]]

*[[Matthew Hennessy]]

*[[Mark Jerrum]]

*[[Christoph Koch]]

*[[Robin Milner]] [[Fellow of the Royal Society|FRS]]

*[[Eugenio Moggi]]

*[[Faron Moller]]

*[[John Power]]{{dn|date=December 2011}}

*[[David Pym]]

*[[Davide Sangiorgi]]

*[[Nicole Schweikardt]]

*[[Chris Tofts]]

*[[Mads Tofte]]

*[[Glynn Winskel]]

*[http://www.cs.berkeley.edu/~sinclair/ Alistair Sinclair]

== External links ==

*[http://www.lfcs.inf.ed.ac.uk/ LFCS website]

*[http://www.lfcs.inf.ed.ac.uk/people/ People]

{{Authority control}}

{{coordCoord|55|55|16.5|N|3|10|25|W|type:landmark_region:GB|display=title}}

[[Category:ComputerUniversity scienceof departmentsEdinburgh inSchool theof United KingdomInformatics]]

[[Category:University of Edinburgh]]

[[Category:Science and technology in Edinburgh]]

[[Category:1987 establishments in Scotland]]

[[Category:Research institutes established in 1987]]

{{Scotland-edu-stub}}

{{Scotland-org-stub}}

{{UK-university-stub}}

{{comp-sci-theory-stub}}