Emeritus Professor
Jeff Magee, FREngProfile page
Emeritus Professor of Computing
Department of Computing - Faculty of Engineering
Orcid identifier0000-0003-3597-6065
- Emeritus Professor of ComputingDepartment of Computing - Faculty of Engineering
- 020 7594 8601 (Work)
- 2.06, Faculty Building, South Kensington Campus, United Kingdom
RESEARCH
Overview
Software Architecture: Architectural Description Languages, Dynamic architectures and Self-organising architectures.
Distributed systems: operating systems, design methods, development environments, configuration management, reliability and availability, mobility.
Mobile Computing: context-aware systems, location services
Analysis Tools for Concurrent and Distributed systems:
LTSA - Labelled Transition System Analyser
Stochastic LTSA - simulation of Timed Transitions systems
Software Architecture: Architectural Description Languages, Dynamic architectures and Self-organising architectures.
Distributed systems: operating systems, design methods, development environments, configuration management, reliability and availability, mobility.
Mobile Computing: context-aware systems, location services
Analysis Tools for Concurrent and Distributed systems:
LTSA - Labelled Transition System Analyser
Stochastic LTSA - simulation of Timed Transitions systems