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

Taolue Chen

Taolue Chen

  • Lecturer, Admissions Tutor - MSc CS & MSc DS
  • 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 CS, MSc DS & MSc IT
  • 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, Director of Teaching Quality & Co-Director of the Birkbeck Knowledge Lab
  • 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 - MSc ACT & PGCert
  • Research areas: fixed parameter algorithms, graph theory, constraint satisfaction problems