Thesis Topic Details

Topic ID:
2958
Title:
Concurrency theory and distributed systems
Supervisor:
Rob van Glabbeek
Research Area:
Theory, Distributed Systems, Formal Methods
Associated Staff
Assessor:
Kai Engelhardt
Topic Details
Status:
Active
Type:
Research
Programs:
Group Suitable:
No
Industrial:
No
Pre-requisites:
The ability to understand and deliver formal mathematical proofs.
Description:
Groundbreaking research in the foundations of concurrency theory. Any topic that suits both the student and me.
Taking COMP9151 and COMP 9152 helps.
Comments:
I'm interested in strong and independent students only.
Past Student Reports
 
No Reports Available. Contact the supervisor for more information.

Check out all available reports in the CSE Thesis Report Library.

NOTE: only current CSE students can login to view and select reports to download.