Edinburgh Research Explorer

Foundations of Computation

Organisational unit: Research Theme

Organisation profile

What are the theories which underlie the analysis and design of computer systems? How can these foundational theories be implemented and applied practically?

ID: 173682551