Imperial College London

Professor Jeff Magee

Faculty of Engineering

Dean of the Faculty of Engineering
 
 
 
//

Contact

 

+44 (0)20 7594 8601j.magee Website

 
 
//

Assistant

 

Mrs Clare Pearson +44 (0)20 7594 8601

 
//

Location

 

2.06Faculty BuildingSouth Kensington Campus

//

Summary

 

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