• Directory
• Members
• Profile
• Publications
• Students
• Support

Achieving a foundational understanding of problems and issues arising in computation and communication through the development of appropriate and applicable formal models and mathematical theories.

• Director
  Prof Philip Wadler

• Deputy Director
  Dr David Aspinall

• Contact
  Laboratory for Foundations of Computer Science, School of Informatics, The University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, United Kingdom.
  Telephone: +44 (0) 131 650 5132
  Fax: +44 (0) 131 651 1426
  Email: <lfcs-admin@informatics.ed.ac.uk>

Institute Web Site