Liam O'Connor

Ian Stark

• Ian.Starked.acuk

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

Person: Academic: Research Active

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

Ajitha Rajan

• arajaninf.ed.acuk

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

Person: Academic: Research Active

David Robertson

• Edinburgh Neuroscience
• College of Science and Engineering - Vice-Principal & Head of College of Science & Engineering
• Artificial Intelligence and its Applications Institute
• Data Science and Artificial Intelligence

Person: Academic: Research Active

Brian Campbell

• Brian.Campbelled.acuk

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

Person: Academic: Research Active (Research Assistant)

Don Sannella

• dtsinf.ed.acuk

• School of Informatics - PERSONAL CHAIR IN COMPUTER SCIENCE
• Laboratory for Foundations of Computer Science
• Foundations of Computation

Person: Academic: Research Active

Stuart Anderson

• soastaffmail.ed.acuk

• School of Informatics - Personal Chair in Dependable Systems
• Laboratory for Foundations of Computer Science
• Global Health Academy
• Language, Interaction and Robotics

Person: Academic: Research Active

Paul Jackson

• Paul.Jacksoned.acuk

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

Person: Academic: Research Active

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

Philip Wadler

• wadlerinf.ed.acuk

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

Person: Academic: Research Active

Stephen Gilmore

• stginf.ed.acuk

• School of Informatics - Personal Chair in Software Systems Modelling
• Laboratory for Foundations of Computer Science
• Data Science and Artificial Intelligence

Person: Academic: Research Active

James Cheney

• jcheneyinf.ed.acuk

• School of Informatics - Personal Chair of Programming Languages and Systems
• Laboratory for Foundations of Computer Science
• Foundations of Computation

Person: Academic: Research Active