Postgraduate research

Computer Science

Algebraic and Categorical Structures and Methods

Dr Roy Crole; Dr Bogdan GrechukProfessor Reiko Heckel; Dr Alberto Paganini; Dr Bo Wang

  • 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
  • Numerical optimisation constrained to partial differential equations
  • Numerical methods for partial differential equations
  • Functional and longitudinal data analysis
  • Gaussian process modelling
  • Machine learning
  • Stochastic mortality modelling and forecasting
  • Mathematics formalisation and formal proofs by diophantine equations

Algorithm Design, Analysis and Engineering

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

Creative Computing

Dr Rogerio Da Silva; Dr Fabricio Goes; Professor Andrew Hugill; Dr Marco Volpe; Professor Hongji Yang

  • Virtual/Augmented/Mixed reality
  • Games
  • Animations
  • Computational creativity and evaluation
  • Large language models applications
  • Accessible computing
  • Digital culture
  • Digital music
  • Interactive storytelling
  • Artificial creativity
  • Creative software engineering

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

Dr Fuxiang Chen; Professor Rajeev Raman; Dr Bo YuanProfessor 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
  • Natural language processing
  • Empirical methods in natural language processing
  • Natural language processing application

Models of Software Intensive Systems

Professor Reiko HeckelDr 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; Dr Fuxiang ChenProfessor 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
  • Empirical software engineering
  • Software debugging
  • Software testing
  • Automated software engineering
  • A.I. for software engineering

Back to top
MENU