Academic staff
A list of CISA academic staff
| Member | Interests | |
 |
Director of Institute |
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 |
 |
Goal-directed sequential decision making by autonomous systems in complex dynamic environments. Reasoning about the beliefs, intentions, and behaviours of other decision makers. Innovative applications in areas such as cyber security and self-driving vehicles. | |
 |
Paul Anderson | Configuration and management of large computing infrastructures, Semantics and usability of configuration languages, Autonomics and intelligent approaches to configuration deployment, Systems administrations. |
 |
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 Belle | Explainable AI, scalable probabilistic inference and learning, probabilistic programming, statistical relational learning, commonsence reasoning, automated planning, and unifying logic and probability more generally. |
 |
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. |
 |
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. |
| Tiejun Ma | ||
 |
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; social computation. |
 |
Michael Rovatsos | Human-friendly and responsible AI, multiagent systems, social computation, automated planning. |
 |
Alan Smaill | Constructive logics and non-realist semantics; reflection principles and their application within automated reasoning systems; theorem proving in relation to programming |
 |
Austin Tate | Artificial Intelligence Planning, Collaborative Systems, Knowledge-Based Systems, Virtual Worlds. |