ProfessorJeff Kramer, FREng
Honorary Emeritus Professor of Distributed Computing
Department of Computing - Faculty of Engineering
Orcid identifier0000-0002-6308-127X
- Honorary Emeritus Professor of Distributed ComputingDepartment of Computing - Faculty of Engineering
- Huxley Building, South Kensington Campus, United Kingdom
TEACHING INTERESTS
Concurrency: Concepts, Models and Programs.
This course aims to introduce students to the use of abstract models for exploring and analysing concurrent systems. The models used are appropriate for explaining concurrency concepts and for exploring and analysing possible solutions which satisfy safety and progress properties. Concurrent programming is introduced as the means for implementing the model solutions using program primitives provided in Java.
Distributed Algorithms.
This course aims to introduce students to the theory and practice of distributed algorithms; in particular on asynchronous algorithms, asynchronous resource algorithms and logical time.
This course aims to introduce students to the use of abstract models for exploring and analysing concurrent systems. The models used are appropriate for explaining concurrency concepts and for exploring and analysing possible solutions which satisfy safety and progress properties. Concurrent programming is introduced as the means for implementing the model solutions using program primitives provided in Java.
Distributed Algorithms.
This course aims to introduce students to the theory and practice of distributed algorithms; in particular on asynchronous algorithms, asynchronous resource algorithms and logical time.