Laboratory for Foundations of Computer Science: Difference between revisions

Revision as of 09:55, 12 September 2013

Revision as of 21:03, 5 June 2014

Line 1:

{{notability|organisation|date=June 2014}}

{{unreferenced|date=June 2014}}

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

== SelectedNotable members ==

=== Current ===

*Stuart Anderson

*[[David Aspinall]]

*[[Julian Bradfield]]

*[[Peter Buneman]] [[Order of the British Empire|MBE]] [[Fellow of the Royal Society|FRS]] [[Fellow of the Royal Society of Edinburgh|FRSE]]

*[[Mary Cryan]]

*[[Vincent Danos]]

*[[Kousha Etessami]]

*[[Wenfei Fan]] [[Fellow of the Royal Society of Edinburgh|FRSE]]

*[[Michael Fourman]] [[Fellow of the British Computer Society|FBCS]] [[Fellow of the Royal Society of Edinburgh|FRSE]]

*Stephen Gilmore

*[[Jane Hillston]] [[Fellow of the Royal Society of Edinburgh|FRSE]]

*Paul Jackson

*[[Leonid Libkin]] [[Fellow of the Royal Society of Edinburgh|FRSE]]

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

*Richard Mayr

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

*[[Don Sannella]]

*[[WenfeiPhilip FanWadler]] [[FACM]] [[Fellow of the Royal Society of Edinburgh|FRSE]]

*[[Perdita Stevens]]

*[[Colin Stirling]]

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

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

*[[Philip Wadler]] [[Fellow ACM]] [[Fellow of the Royal Society of Edinburgh|FRSE]]

=== Previous ===

Line 31 ⟶ 16:

*[[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

*[[David Pym]]

*[[Davide Sangiorgi]]

*[[Nicole Schweikardt]]

*[[Chris Tofts]]

*[[Mads Tofte]]

*[[Glynn Winskel]]

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

== External links ==