Teaching
Modules for 2025-26
Safety and Dependability
Module code: COMP524
Role: Module Co-ordinator
Supervised Theses
- A Semantic Testing Approach for Deep Neural Networks Using Bayesian Network Abstraction
- Achieving Power Efficiency in Hardware Circuits with Symbolic Discrete Control
- Equilibria in Finite Games
- Hidden Probabilistic One-Counter Automata
- Mobility Problems in Distributed Search and Combinatorial Games
- Optimisation in multi-mode systems
- Propositional Gossip Protocols
- Robust Computational Frameworks for Power Grid Reliability, Vulnerability and Resilience Analysis
- Secure multi-party querying over graph databases
- Secure multi-party querying over graph databases