Research and Teaching in Computer Science, Software Engineering, Cognitive Science and Artificial Intelligence at Edinburgh. Information on teaching, research, publications and links to research group sites.
School of Informatics, the University of Edinburgh - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning.
University of Edinburgh, summaries of: Computer Security in the Real World (Milner lecture); Computer Systems Research: Past and Future; How to Build a Highly Available System without a Toolkit.