Image of robotic and human hands Logic and Artificial Intelligence research encompasses foundational studies in Logic and a variety of Artificial Intelligence disciplines.

The work has led to several best paper and runner-up awards at leading international conferences  (including AAMAS, ETAPS, EATCS and ICILP) and attracted three Marie Curie fellows.

The Section’s Novel research in model checking methodologies for the verification of autonomous agents has found applications in autonomous vehicles, service-oriented computing and security. Results in inductive logic programming have been applied to problems in bioinformatics.

Output on machine learning research applied to bioinformatics has led to pioneering work on biological network analysis, modelling and alignment.

The Section also has expertise in statistical machine learning approaches.


 Photo Research Interests
 Photo of Dr Krysia Broda  

Dr Krysia Broda

Logic Programming, Implementing Novel Theorem Provers, Policies for (teleo) Reactive Agents, Neural-Symbolic Integration and Labelled Deductive Systems (LDS) 

  M Cheraghchi

Dr Mahdi Cheraghchi

Communication and computing, randomness and computing, information and coding theory, algorithms and complexity theory, Boolean functional analysis, foundations of cryptography

Photo of Dr Marc Deisenroth

Dr Marc Deisenroth

Statistical Machine Learning, Robotics, Control, Time-Series Analysis, and Signal Processing.

Photo of Professor Abbas Edalat

Prof Abbas Edalat

Mathematical Modelling in Cognitive and Behavioural Prototypes, Attachment Theory and Psychotherapy.

Photo of Dr Aldo Faisal

Dr Aldo Faisal (Dept. of Bioengineering and Dept. of Computing

Neurotechnology, Biomedical Engineering, Machine Learning, Algortihmic Prediction of Human Behaviour.

Photo of Prof Ian Hodkinson

Prof Ian Hodkinson

Algebraic Logic and Modal and Temporal Logic.

nick jennings

Prof Nick Jennings

Artificial Intelligence, Autonomous Systems, Cyber Security and Agent-based Computing

Photo of Prof Alessio Lomuscio

Prof Alessio Lomuscio

Logic-Based Specification and Verification of Autonomous Systems.

Photo of Professor Stephen H. Muggleton

Prof Stephen Muggleton

Inductive Logic Programming, Machine Learning Applications in Molecular Biology, Intelligent Adaptive Agents and Natural Language Learning.

Photo of Dr Fariba Sadri

Dr Fariba Sadri

Multi-Agent Systems, Reactive Systems, Intention Recognition, Abductive Logic Programming, Event Calculus and Deductuve Databases.

Photo of Prof Marek Sergot

Prof Marek Sergot (Head of Section)

Logic for Knowledge Representation and Specification of Computer Systems and Bioinformatics

Photo of Murray Shanahan

Prof Murray Shanahan (Deputy Head of Section)

Brain Networks, Dynamical Complexity, Robotics, Possible Neural Substrates of a Global Workspace, the Simulation Hypothesis, the Frame Problem and the Technological Singularity.

Photo of Dr Bjoern Schuller

Dr Bjoern Schuller

Machine Learning, Audiovisual Signal Processing, Human-Computer/Robot-Interaction and Affective Computing.

Photo of Prof Francesca Toni

Prof Francesca Toni

Knowledge Representation and Reasoning in Artificial Intelligence, Argumentation, Negotiation, Logic-Based Multi-Agent Systems, Inter-Agent Communication, Abduction, Logic Programming for Knowledge Representation and Automated Reasoning, Non-monotonic and Default Reasoning.


Dr Paolo Turrini

Artificial Intelligence, Game Theory, Logics, and Networks

Summary of the table's contents