Revision as of 21:03, 5 June 2014 edit Aloneinthewild (talk \| contribs) Extended confirmed users 20,863 edits remove red link people ← Previous edit		Revision as of 04:26, 2 March 2015 edit undo Stephengilmore1962 (talk \| contribs) 9 edits m →Notable members Next edit →
Line 3: 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]]. == ~~Notable~~Members ~~members~~of the LFCS == === ~~Current~~Professors === [[Peter Buneman]] [[Order of the British Empire\|MBE]] [[Fellow of the Royal Society\|FRS]] [[Fellow of the Royal Society of Edinburgh\|FRSE]] [[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]] [[Jane Hillston]] [[Fellow of the Royal Society of Edinburgh\|FRSE]] [[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]] *[[Philip Wadler]] [[FACM]] [[Fellow of the Royal Society of Edinburgh\|FRSE]]

Laboratory for Foundations of Computer Science: Difference between revisions