Computer Science
Algebraic and Categorical Structures and Methods
Dr Roy Crole; Dr Bogdan Grechuk; Professor 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 Crole; Professor Reiko Heckel; Dr 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 Yuan; Professor 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 Heckel; 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; Dr Fuxiang Chen; 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
- Empirical software engineering
- Software debugging
- Software testing
- Automated software engineering
- A.I. for software engineering