Postgraduate research

Computer Science

Algebraic and Categorical Structures and Methods

Dr Roy CroleProfessor Reiko Heckel

  • Algebras, coalgebras and categorical structures as mathematical objects, including (co)inductive methods and modal logics
  • 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

Algorithm Design, Analysis and Engineering

Professor Thomas Erlebach; Dr Stanley Fung; Professor Rajeev Raman

  • Data structures, hierarchical-memory algorithms, approximation algorithms, algorithms for dealing with uncertain data, including on-line algorithms
  • Applications for:
    • optimising performance and energy consumption in optical and ad-hoc networks
    • railroad optimisation
    • scheduling
    • bioinformatics
    • text indexing
    • representing semi-structured data
    • network analysis

Deduction Rewriting and Transformation

Dr Roy CroleProfessor Reiko HeckelDr Irek Ulidowski

  • Graph transformations
  • Term rewriting
  • Theorem proving
  • Stochastic approaches
  • Rewriting of bio-structures
  • Operational semantics of concurrency and programming languages

Knowledge Discovery and Machine Learning

Professor Rajeev RamanProfessor Eugene Yu-Dong Zhang; Professor Joe Huiyu Zhou; Dr Shuihua Wang

  • Knowledge discovery and machine learning
  • Signal processing and image analysis
  • Data structures and big data

Models of Software Intensive Systems

Professor Reiko Heckel; Dr Nir Piterman; Dr Irek Ulidowski

  • Concepts, languages, and semantic models for large and complex software intensive systems
  • 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

Software Evolution

Dr Artur Boronat; Professor Reiko Heckel

  • 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

Back to top