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

verification

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

software

  • 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

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, PGcert CDT
Tingting Han

Tingting Han

  • Lecturer, Programme Director and Admissions Tutor - IT Applications
  • Research areas: formal verification and synthesis of probabilistic systems, and its applications
George Magoulas

George Magoulas

  • Professor of Computer Science, Programme Director and Admissions Tutor - MRes CS, Research Admissions Tutor, 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, Imaging, Information 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