Skip to content Search
Search our website:

Algorithms, Verification and Software Research Group

The group is focusing on the following research areas:

algorithms and complexity

  • circuit complexity
  • machine learning algorithms based on neural networks
  • parameterised algorithms
  • probabilistic algorithms
  • performance guarantees for heuristic algorithms


  • automated software termination and runtime bounds analysis
  • probabilistic model checking
  • satisfiability problems for various logics
  • term rewriting


  • programming languages
  • compilers
  • software engineering

The group collaborates with many other research groups in the U.K. and abroad and with industry, undertaking projects of fundamental and applied nature.

Below is the list of institutions we are currently collaborating with (in alphabetical order).

Karlsruhe Institute of Technology (Germany)
Laboratoire de l'Informatique du Parallélisme, Lyon (France)
Microsoft Research Cambridge (UK)
RWTH Aachen University (Germany)
Technical University Vienna (Austria)
University College London
University of Copenhagen (Denmark)
University of Innsbruk (Austria)
University of Nagoya (Japan)
University of Southern Denmark
University of Warwick

Group Members

Taolue Chen

Taolue Chen

  • Lecturer, Admission Tutor
  • Research areas: Quantitative Analysis and Synthesis of Computer Program and Systems, Logic in Computer Science, Machine Learning and Data Science, Software Engineering, Algorithms and Computational Complexity
Trevor Fenner

Trevor Fenner

  • Professor of Computer Science
  • Research areas: algorithms and data structures, combinatorial algorithms, probabilistic algorithms, complex networks
Carsten Fuhs

Carsten Fuhs

  • Lecturer, Admissions Tutor - MSc ACT, MSc CS, MSc DS, MSc IT, PGCert CDT
  • Research areas: automated program analysis and verification (termination, time complexity bounds, safety, equivalence, ...), term rewriting, SAT and SMT solving (more generally, constraint solving), separation logic.
Tingting Han

Tingting Han

  • Lecturer, Programme Director - CertHE IT, CertHE WDT, Professional Development Short Courses
  • Research areas: formal verification and synthesis of probabilistic systems, and its applications
George Magoulas

George Magoulas

  • Professor of Computer Science, Programme Director MRes CS and Director of Teaching Quality
  • Research areas: computational models of learning and cognition, data-driven modelling, learning and evolution algorithms, learning technologies, nature-inspired computing, user modelling and personalisation technologies
Keith Mannock

Keith Mannock

  • Lecturer, Library Representative
  • Research areas: Software Engineering, Polyglot programming languages, Image manipulation and retrieval, Distributed Systems, Educational Gaming, Machine Learning
Igor Razgon

Igor Razgon

  • Lecturer, Programme Director - BSc Comp
  • Research areas: fixed parameter algorithms, graph theory, constraint satisfaction problems