James Cheney

David Aspinall

• david.aspinalled.acuk

• School of Informatics - Personal Chair in Software Safety and Security
• Laboratory for Foundations of Computer Science
• Foundations of Computation

Person: Academic: Research Active

Peter Buneman

• opbinf.ed.acuk

• School of Informatics - Professor
• Laboratory for Foundations of Computer Science
• Foundations of Computation

Person: Academic: Research Active

Andrew Gordon

• School of Informatics - UoE Honorary staff

Person: Affiliated Independent Researcher

Ohad Kammar

• School of Informatics - Senior Research Fellow
• Laboratory for Foundations of Computer Science
• Foundations of Computation

Person: Academic: Research Active

Leonid Libkin

• libkininf.ed.acuk

• School of Informatics - Chair of Foundations of Data Management
• Laboratory for Foundations of Computer Science
• Foundations of Computation

Person: Academic: Research Active

Sam Lindley

• School of Informatics - Reader in Programming Language Design and Implementation
• Laboratory for Foundations of Computer Science

Person: Academic: Research Active

Milos Nikolic

• mnikolicinf.ed.acuk

• School of Informatics - Lecturer in Database Systems
• Laboratory for Foundations of Computer Science
• Data Science and Artificial Intelligence

Person: Academic: Research Active

Gordon Plotkin

• gdpinf.ed.acuk

• School of Informatics - Professor
• Laboratory for Foundations of Computer Science
• Foundations of Computation

Person: Academic: Research Active

Wilmer Ricciotti

• wricciotinf.ed.acuk

• School of Informatics - Senior Researcher
• Laboratory for Foundations of Computer Science
• Foundations of Computation

Person: Academic: Research Active (Research Assistant)

Perdita Stevens

• perditainf.ed.acuk

• School of Informatics - Personal Chair in Mathematics of Software Engineering
• Laboratory for Foundations of Computer Science
• Foundations of Computation

Person: Academic: Research Active

Philip Wadler, FRS

• wadlerinf.ed.acuk

• School of Informatics - Chair of Theoretical Computer Science
• Laboratory for Foundations of Computer Science
• Foundations of Computation

Person: Academic: Research Active