Academic staff

A list of CISA academic staff

Member Interests
Rovatsos photo

Michael Rovatsos, Director of Institute

Multiagent systems, social computation, and Artificial Intelligence more generally, especially automated planning, knowledge representation, autonomous decision making, agent communication, social reasoning, and game-theoretic AI.

I am currently Director of CISA and lead the Agents Group, coordinate the ESSENCE Marie Curie Initial Training Network and lead the Edinburgh contribution to the EU-funded SmartSociety Integrated Project.

Anderson photo
Paul Anderson Configuration and management of large computing infrastructures, Semantics and usability of configuration languages, Autonomics and intelligent approaches to configuration deployment, Systems administrations.
Atkinson photo
Malcolm Atkinson The design of data-intensive systems and languages, including EDIM1 and DISPEL, and the exploitation of data-intensive methods to discover new knowledge and improve decisions.
Vaishak photo
Vaishak Belle Formal languages for logic, probability and commonsense reasoning, scalable probabilistic inference and learning, probabilistic programming, statistical relational learning, and automated planning.  Applications to robotics, agent programming, logistics and temporal data.
Bundy photo
Alan Bundy The automatic construction, analysis and evolution of representations of knowledge and the automation of mathematical reasoning, with applications to reasoning about the correctness of computer software and hardware.
Cheney photo
James Cheney

Programming languages, logic, verification, scientific data management, provenance.

Jacques photo
Jacques Fleuriot Interactive theorem proving and its use in areas such as formalized mathematics and formal verification, The investigation of mathematical reasoning - both historical and contemporary - using proof assistants
Klein photo
Ewan Klein Computational approaches to natural semantics, syntax, prosody and phonology; spoken language processing; communicating with mobile robots and embodies devices; the Semantic Web and ontologies.
Robertson photo
Dave Robertson Design and deployment of multi-agent systems; large-scale, automated design and transformation of knowledge bases and problem solvers; agent-orientated software engineering.
  Alan Smaill Constructive logics and non-realist semantics; reflection principles and their application within automated reasoning systems; theorem proving in relation to programming
Tate photo
Austin Tate Artificial Intelligence Planning, Collaborative Systems, Knowledge-Based Systems, Virtual Worlds.