|
|
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
|
|
