The University of Edinburgh in Scotland is one of the United Kingdom's most prestigious universities. It was founded in 1583 and has been attracting international students for over four centuries. In terms of the quality of its teaching and research, it is considered one of the leaders by UK teaching and research assessment bodies.

The School of Informatics at Edinburgh possesses a combination of breadth and strength of research excellence recognised not only in the UK but in Europe and beyond. The Laboratory for Foundations of Computer Science (LFCS) within the School of Informatics develops and applies foundational understanding of computation and communication: formal models, mathematical theories, and software tools.

Main contributions of University of Edinburgh to SENSORIA are in the areas of formal specification and refinement, program analysis techniques, and model-driven development.