Research interests of academic staff

Dr A Boronat

Applications of graph transformation and term rewriting theory to model-based development and simulation of stochastic systems. 

Dr R Crole

Applications of category theory, type theory and logic to the semantics of programming languages. I am generally interested in the mechanisation (in theorem provers such as Isabelle) and the underpinning theory of the operational semantics of programming languages.Current special interests concern the categorical type theory of nominal calculi and their (categorical) semantics, especially the equational nominal lambda calculus. This work makes use of nominal sets and FM sets.

Dr R Dimitrova

Specification, verification and synthesis of reactive systems, automata theory and temporal logics,  applications of formal methods to control and robotics, quantitative verification of probabilistic systems, information-flow security, verification and control in the presence of uncertainty.

Professor T Erlebach

Approximation and online algorithms for combinatorial optimisation problems; algorithmic aspects of communication networks; algorithmic graph theory. 

Dr S Fung

Online algorithms, computational geometry, computational biology, algorithms for combinatorial optimisation. 

Professor R Heckel

Graph transformations and their application to visual modelling, model-transformation and model-driven development. Model inference, reverse and re-engineering. Modelling of service-oriented, P2P and mobile applications and architectures.

Interdisciplinary applications of software modelling techniques, e.g., in social sciences, health and biology. Stochastic and quantitate analysis of models.

Dr M Hoffmann

Algorithms; complexity; formal languages; automata; computation over monoid structures; graph colouring. 

Dr G Kefalidou

Human-Computer Interaction and Human-Data Interaction, Affective and Cognitive Behavioural Computing for improving end-to-end User Experience, Socio-Cognitive Design, Role of Aesthetics in data visualisations and in immersing in digital, VR/AR and wearable environments, optimising human performance and decision-making through cognitive technologies for Intelligent Mobility and Route Optimisation, Interaction heuristics, Sensemaking and managing uncertain Big Data in complex environments, Cognitive Engineering and Ergonomics in Design. 

Professor E Law

Human-computer interaction: Usability and use experience, Interaction design, Socio-technical systems, Creativity and cognition, Trans-sector transfer of design and evaluation methods; Technology-enhanced learning: Computer-supported Collaborative Work (CSCW), Game-based learning, Personal learning environment, e-Assessment, Social network analysis. 

Professor M Mousavi

Software testing, with emphasis on testing cyber-physical systems, testing software product lines, and application of (machine) learning in testing. 

Dr N Piterman

Model checking, temporal logic, synthesis of reactive systems (including its application in robot-controller planning and model-driven development), two player games, analysis of stochastic processes, and abstraction. Automata theory, especially automata on infinite words and trees and their application to formal verification. Applications of formal methods to biological modelling, executable biology. 

If you are interested in questions that have to do with two-player games, automata, algorithms related to them, or other things that appear on my research interests, there's something to talk about.

Professor R Raman

Main areas of interest are data structures and algorithms, with a current focus on succinct (or highly space-efficient) data structures, and in general, in how to operate on data in compressed form. I am also interested in optimising algorithms for the memory hierarchy, which is essential for processing big data, and on developing algorithms for problems where the input data is uncertain. In addition to studying algorithms from a mathematical viewpoint, I am actively involved in algorithm engineering, which includes the implementation, experimental testing, and fine-tuning of discrete algorithms. I have also a developing interest in data mining, processing, querying and mining very large data.

Dr S Reiff-Marganiec

My main interests are in services (telecommunications, web services, SoA), policies and workflows. These have relevance in context sensitive systems as well as large software systems supporting businesses which often are complex legacy systems. In this area I am particularly interested in 3 main strands: (1) Dynamic Workflow Adaptation: How can business processes be modelled and automated in way that allows for flexible run-time adaption to environmental changes? (2) Policy Conflict/ Feature Interaction: How can we deal with conflicting policies -- that is how can we detect that policies require conflicting actions and how can this be resolved at runtime? (3) Service Selection: How can we select the most appropriate services for a user in a given context? 

Dr T Ridge

Reasoning about code and systems. Specification and verification of systems. Building reliable systems. Particular techniques include: formal methods and theorem proving; operational semantics; type systems; Hoare-style program logics including separation logic and Rely-Guarantee logics. Application areas include multiprocessor weak memory models, networking protocols such as TCP/IP, file systems, and parsing. New interests include verified computational complexity. 

I'm interested in ways to make our I.T. systems more dependable and reliable. This could include:
  • developing new programming language features
  • identifying and implementing key I.T. infrastructure, e.g. persistent message queues
  • using mathematics to prove that e.g. implementations of algorithms and systems are correct
  • developing tools to make the above tasks easier e.g. theorem provers such as HOL4, and specification tools such as Ott and Lem

Dr J O Ringert

My research is about the development of new methods that enable software engineers to more efficiently develop and maintain complex software systems. My focus is on software modelling and specification languages. These languages introduce new concepts and abstractions to capture the complexity of software systems. Specifically, I am interested in developing the right tools and processes to leverage existing knowledge present in heterogeneous and evolving software models.

Techniques applied in my research are design of modelling languages, verification algorithms, automated synthesis of reactive systems, and evolution analysis -- with various applications, e.g., autonomous robots and automotive systems. 

Dr E Tuosto

Formal approaches (automata and graphs based) to system specification and verification of mobile and distributed systems; coordination languages and models; service oriented computing; concurrency theory; security. 

Dr I Ulidowski

Concurrency theory: process calculi, operational semantics, testing semantics, behavioural equivalences, proof systems, calculi with discrete time. Models of reversible computation: reversible CCS and other process calculi, reversible event structures, modelling of bio-systems with reversible process calculi, logics for reversibility, modal logics for reversible computation, reversible delay-insensitive circuits, reversible cellular automata. Structured Operational Semantics: formats of SOS rules, automatic generation of proof systems and rewrite systems, formats for discrete time. Modelling of ubiquitous computing. 

Dr N Verdezoto

Human-Computer Interaction and Computer-supported Collaborative Work. Ambient Awareness, Physical Computing and Sustainable HCI. Pervasive and Ubiquitous Computing for Self-care Management (e.g., Assistive Technologies, eHealth, mHealth). 

Dr F de Vries

Theory and semantics of computation, language and logic; theory and applications of extensions of term rewriting systems and lambda calculi with infinite terms and computations. 

Professor Y Zhang

Deep learning: convolutional neural network, batch normalisation, pooling, transfer learning; Medical image analysis: Alzheimer’s disease, hearing loss, alcoholism, multiple sclerosis, breast cancer. 

Dr H Zhou

Computer vision, artificial intelligence, machine learning and data mining.