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. Personal Homepage.

Dr R Crole

Applications of category theory, type theory and logic to the semantics of programming languages. I am generally interested in the mechanization (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.

Personal Homepage.

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. Personal Homepage.

Professor T Erlebach

Approximation and on-line algorithms for combinatorial optimisation problems; algorithmic aspects of communication networks; algorithmic graph theory. Personal Homepage.

Dr S Fung

Online algorithms, computational geometry, computational biology, algorithms for combinatorial optimization. Personal Homepage.

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.

Personal Homepage.

Dr M Hoffmann

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

Professor A Kurz

Applications of category theory and logic to Computer Science, in particular coalgebras, modal logic, category theory. Personal Homepage.

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. Personal Homepage.

Dr Leandro Minku

I am interested in the areas of computational intelligence for software engineering and machine learning for non-stationary environments. See here for some ides for PhD topics.

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 modeling, executable biology. Personal Homepage.

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, see my Personal Homepage for further details.

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? Personal Homepage.

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. Personal Homepage.

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. Personal Homepage.

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. Personal Homepage.

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). Personal Homepage.

Dr N Walkinshaw

Development of semi-automated techniques to facilitate the reverse-engineering, testing, and inspection of complex software systems. More specifically, source code analysis, program trace analysis, and machine-learning algorithms for the inference of state-machines and regular-grammars. Personal Homepage.


Share this page:

Contact Us

Admissions Enquiries:
BSc: +44 (0) 116 252 5280
MSc: +44 (0) 116 252 2265
E: BSc
E: MSc

Departmental Enquiries:
T: +44 (0) 116 252 2129/3887
F: +44 (0) 116 252 3604

Dept of Informatics
University of Leicester
Leicester, LE1 7RH
United Kingdom


DisabledGo logo

The University of Leicester is committed to equal access to our facilities. DisabledGo has a detailed accessibility guide for the Informatics Building.