Browse by Supervisor

Ng, Ming (2023). Adelic Geometry via Topos Theory. University of Birmingham. Ph.D.

Muhammad, Irfan (2021). Algorithms for reachability problems on stochastic Markov reward models. University of Birmingham. Ph.D.

Shi, Ning (2021). Boolean network inference and control using metaheuristic algorithms. University of Birmingham. Ph.D.

Chan, Wun Fung (2003). Chinese identities: official representations and new ethnicities. University of Birmingham. Ph.D.

Al-Ajeli, Ahmed Khelfa Obeid (2017). Fourier-Motzkin methods for fault diagnosis in discrete event systems. University of Birmingham. Ph.D.

Kamaleson, Nishanthan (2018). Model reduction techniques for probabilistic verification of Markov chains. University of Birmingham. Ph.D.

Trinder, Rebeckah Rachael ORCID: 0000-0002-5993-8867 (2022). Nuclear imaging: from the development of new production methods of terbium theragnostic isotopes, to the exploration of positron emission tomography for industrial applications. University of Birmingham. Ph.D.

Neale, Alexander James (2020). Parasitic production of Cobalt-57 for quality control use. University of Birmingham. M.Sc.

Oxford, Michael ORCID: 0000-0001-7033-8902 (2021). Quantitative verification of gossip protocols for certificate transparency. University of Birmingham. Ph.D.

Li, Cheng (2022). Vehicle dispatch in high-capacity shared autonomous mobility-on-demand systems. University of Birmingham. Ph.D.

Evangelidis, Alexandros ORCID: 0000-0003-4032-3042 (2020). Verified control and estimation for cloud computing. University of Birmingham. Ph.D.

Faruq, Fatma ORCID: 0000-0001-6928-0176 (2022). Verified multi-robot planning under uncertainty. University of Birmingham. Ph.D.