Computer Science
Algebraic and Categorical Structures and Methods
Dr Roy Crole; Professor 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 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
Professor Rajeev Raman; 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
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