Skip over navigation
Current number of research staff and students: 4 research associates/fellows, 60 MPhil/PhD students and regular visits by several internationally recognised visiting academics.
Recent publications: A framework for monitoring agent-based normative systems. Repetitions in strings: Algorithms and combinatorics. Towards a General Framework for Polyphonic Comparison. Category-Based Authorisation Models: Operational Semantics and Expressive Power. Compositional Prediction of Timed Behaviour for Process Control Architecture.
Partner organisations: Our research has been supported by several companies from the aerospace, automotive, financial, IT and telecommunications sectors.
Recent events: We host a number of workshops and conferences and other regular research meetings. Please check our website for forthcoming events.
Computer Science Research
|MPhil/PhD
|Part Time, Full Time
RESEARCH PROFILE
Current number of academic staff: 27Current number of research staff and students: 4 research associates/fellows, 60 MPhil/PhD students and regular visits by several internationally recognised visiting academics.
Recent publications: A framework for monitoring agent-based normative systems. Repetitions in strings: Algorithms and combinatorics. Towards a General Framework for Polyphonic Comparison. Category-Based Authorisation Models: Operational Semantics and Expressive Power. Compositional Prediction of Timed Behaviour for Process Control Architecture.
Partner organisations: Our research has been supported by several companies from the aerospace, automotive, financial, IT and telecommunications sectors.
Recent events: We host a number of workshops and conferences and other regular research meetings. Please check our website for forthcoming events.
KEY FACTS
Head of group/division
Head of Department: Professor Michael Luck
Duration
PhD three years FT, four-six years PT.
Location
Strand Campus.
Student destinations
Our graduates proceed into academic and industrial research in software engineering, algorithms, artificial intelligence, and computer networks.
Year of entry 2012
Offered by