MRes Advanced Computer Science (Safety Critical Systems)
Aims of this Pathway
To provide advanced training for students in cuurent approaches to building safety critical systems,
that is suitable for those seeking a career in this area or wishing to undertake further Ph.D. study.
Subject based Learning Outcomes
To provide
- A broad understanding of current research issues within the domain of safety critical systems.
- Training in research project planning, analysis and evaluation of results; and the writing of
research reports.
- An in depth understanding of a particular current research theme within the domain of safety
critical systems.
45 Credits of taught modules
| Code | Title | Level | Credits | Semester |
|
45 Credits from
|
| COMP522 | Privacy and Security | M | 15 | 1 |
| COMP524 | Safety and Dependability | M | 15 | 2 |
| COMP525 | Reasoning About Action & Change | M | 15 | 2 |
| COMP313 | Formal methods | 3 | 15 | 2 |
Indicative Research Projects
- Verification of cryptographic protocols via super-compilation.
- Evaluation of the Three Ballot voting scheme.
- Analysis of key exchange protocols based on neural networks.
- Proving algorithms in SPARK.
- Model checking SPARK Programs
Please report any problems to the email address at the bottom of the page.
