Laboratory for Foundations of Computer Science: Difference between revisions

Revision as of 05:04, 8 December 2015

Revision as of 22:24, 29 April 2016

Line 1:

The '''Laboratory for Foundations of Computer Science''' (LFCS) is baseda inresearch institute within the [[University of Edinburgh School of Informatics|School of Informatics]] at the [[University of Edinburgh]], [[Scotland]].<ref>by Igor PrivaraIt andwas Peterfounded Ruzicka,in 1987 and is "Mathematicala Foundationscommunity of Computertheoretical Sciencecomputer 1997"scientists Lecturewith Notesinterests in Computerconcurrency, Sciencesemantics, 1295categories, Springeralgebra, ISBNtypes, 3540634371logic, 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 ppApril 32016}}</ref>

=== MembersFull of the LFCSProfessors ===

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

Line 9 ⟶ 7:

*[[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 T Gilmore|Stephen Gilmore]] (Director)

*[[Andrew D. Gordon|Andrew Gordon]]
*[[Jane Hillston]] [[Fellow of the Royal Society of Edinburgh|FRSE]]

*[[Aggelos Kiyias]]

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

Line 17:

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

=== ReadersSelected Past Members ===

*[[Ian David Beade Stark|Ian Stark]]

=== Previous members ===

*[[Samson Abramsky]]

*[[Rod Burstall]]