University of Leicester

cms

Research in the Department

The Department strives to provide a stimulating research environment committed to the development of high quality projects and publication at international level. There are internal and external seminar series, graduate lectures and reading groups, all making for a research environment in which staff and students can fulfil their potential.

Our research profile can be characterised by eight broad themes listed below. These are not administrative units: they reflect collective expertise in a number of domains in which the department is recognised to be active.

Staff and students are usually involved in a number of research grants including projects with other universities and companies as well as other collaborations at national and international level. These contribute to one or more of the themes listed below. Funded research positions are often made available for working in specific projects.

The Department is also a member of the University's Institute of Finance.

  • Algebraic and Categorical Structures and Methods
    TOPICS: Algebras, coalgebras and categorical structures as mathematical objects, including (co)inductive methods and modal logics. Applications in computer science: Algebraic and coalgebraic specification; Calculi and models of concurrent, distributed, mobile, and context-aware computing; Game semantics; General systems theory and computational models (chemical, biological, etc); Semantics of conceptual modelling methods and techniques; Semantics of programming languages; Validation and verification.
    PEOPLE: R Crole, F-J de Vries, J L Fiadeiro, R Heckel, A Kurz, A Murawski

  • Algorithm Design, Analysis and Engineering
    TOPICS: Data structures, hierarchical-memory algorithms, approximation algorithms, algorithms for dealing with uncertain data, including on-line algorithms. Applications to: optimising performance and energy consumption in optical and ad-hoc networks, railroad optimisation, bioinformatics, text indexing, representing semi-structured data, network analysis.
    PEOPLE: T Erlebach, S Fung, M Hoffmann, R Raman, I Razgon

  • Computational Complexity of Algebraic Structures
    TOPICS: Formal language theory and computational complexity. Algorithmic problems in algebraic structures. Algorithm development. Undecidability results. Automata on infinite objects. Automatic groups and semigroups. Biautomaticity. Hyperbolic groups and semigroups. FA-presentable structures. Syntactic monoids. Word problems of groups and semigroups. Reduced and irreducible word problems. String rewriting systems.
    PEOPLE: M Hoffmann, A Murawski, N Piterman, R Thomas

  • Deduction, Rewriting and Transformation
    TOPICS: Graph transformations; Term rewriting; Theorem proving; Stochastic approaches. Rewriting of bio-structures. Operational semantics of concurrency and programming languages.
    PEOPLE: R Crole, F-J de Vries, R Heckel, A Murawski, T Ridge, E Tuosto, I Ulidowski

  • Interaction Design and Evaluation of Socio-technical Systems
    TOPICS: Usability and user experience (UX) evaluation methodologies for emergent interactive technologies; Interaction design of computer-supported collaborative work/learning (CSCW/L) environments; Digital educational games; Interoperability issues of social software; Evolution of cross-cultural online communities; Adaptive mash-up services for personal responsive learning environment; Social network analysis of computer-mediated interactions; Creativity and software quality models; Trans-sectorial transfer of design and evaluation methods and tools; Web2.0-enhanced requirement engineering; Engineering of complex socio-technical services: formal modelling and analysis, orchestration and service-level agreements, security and trust; Interaction and context-based technologies for collaborative teams.
    PEOPLE: A Chatterjee, J L Fiadeiro, E Law, AV Nguyen-Ngoc, S Reiff-Marganiec

  • Models of Software Intensive Systems
    TOPICS: Concepts, languages, and semantic models for large and complex software intensive systems. In particular: Architectural dimensions (coordination, distribution, context-awareness); Collaborative systems; Embedded, hybrid, and timed systems; Formal specification, validation and verification techniques; Service-oriented systems. Composition and emergent behaviour/properties.
    PEOPLE: L Bocchi, J L Fiadeiro, R Heckel, Y Hong, A Murawski, N Piterman, S Reiff-Marganiec, T Ridge, E Tuosto, I Ulidowski, N Walkinshaw

  • Optimisation and Heuristics
    TOPICS: Combinatorial optimisation; scheduling; resource allocation; routing; network design and optimisation; approximation algorithms; meta-heuristics; competent genetic and evolutionary algorithms; evolutionary algorithms for dynamic optimisation; artificial neural networks for optimisation; hybrid intelligent systems; online algorithms and competitive analysis.
    PEOPLE: T Erlebach, S Fung, I Razgon

  • Software Evolution
    TOPICS: Meta-modelling; Model-driven architecture/development; Re-engineering of legacy systems; Aspect discovery and refactoring; Software process engineering; System families. Incremental development; Features and Aspects: policy-driven, ad-hoc composition.
    PEOPLE: A Boronat, R Heckel, S Reiff-Marganiec, E Tuosto, N Walkinshaw

Author: José Fiadeiro.
© University of Leicester 23rd March 2005. Last modified: 11th February 2011, 17:43:53
CMS Web Maintainer. This document has been approved by the Head of Department.