Laboratory for Foundations of Computer Science: Difference between revisions

Revision as of 17:20, 19 December 2018

Revision as of 21:14, 3 January 2019

Line 2:

{{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 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 professors ==

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

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

*[[Vincent Danos]]

*[[Wenfei Fan]] [[Association for Computing Machinery|FACM]] [[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 T Gilmore|Stephen Gilmore]]

*[[Andrew D. Gordon|Andrew Gordon]]

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

*[[Aggelos Kiayias]]

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

*[[Don Sannella]] [[Fellow of the Royal Society of Edinburgh|FRSE]]

*[[Perdita Stevens]]

*[[Colin Stirling]]

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

== Selected Past Members ==

*[[Samson Abramsky]]

*[[Rod Burstall]]

*[[Luca Cardelli]]

*[[Matthew Hennessy]]

*[[Mark Jerrum]]

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

*[[Eugenio Moggi]]

*[[Faron Moller]]

*[[Davide Sangiorgi]]

*[[Chris Tofts]]

*[[Mads Tofte]]

==References==