Network
Jane Hillston
- School of Informatics - Personal Chair in Quantitative Modelling and Head of School
- Laboratory for Foundations of Computer Science
- Data Science and Artificial Intelligence
Person: Academic: Research Active
Stephen Gilmore
- 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
- School of Informatics - Personal Chair of Programming Languages and Systems
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active
David Aspinall
- School of Informatics - Personal Chair in Software Safety and Security
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active
Luca Bortolussi
External person
Ian Douglas Sanders
External person
Michele Loreti
External person
Andrea Vandin
External person
Natalia Zon
- School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, United Kingdom;
External person
Ellen Spertus
External person
Rocco Nicola
External person
Christina Björkman
External person
Jean-Laurent Hippolyte
External person
Derek Gatherer
External person
Jennifer Light
External person
Diego Latella
External person
Cheng Feng
External person
Anastasis Georgoulas
External person
Anne Condon
External person
Sylvia Wiltner
External person
Mirco Tribastone
External person
M. Suriya
External person
Paula Gabbert
External person
Annemieke Craig
External person
J. McGrath Cohoon
External person
Federica Ciocchetta
External person
Ian Smith
External person
Mark Hancock
External person
Pei-yu Chen
External person
Denise Gürer
External person
Gloria Childress Townsend
External person
Mieke Massink
External person
Margit Pohl
External person
Rhian Davies
External person