Browse by Supervisor

Klinke, Olaf Karl (2012). A bitopological point-free approach to compactifications. University of Birmingham. Ph.D.

Xu, Chuangjie (2015). A continuous computational interpretation of type theories. University of Birmingham. Ph.D.

Tosun, Ayberk ORCID: 0000-0002-0190-3020 (2025). Constructive and predicative locale theory in univalent foundations. University of Birmingham. Ph.D.

de Jong, Tom ORCID: 0000-0003-1585-3172 (2023). Domain theory in constructive and predicative univalent foundations. University of Birmingham. Ph.D.

Waugh Ambridge, Todd (2024). Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics. University of Birmingham. Ph.D.

Knapp, Cory (2018). Partial functions and recursion in univalent type theory. University of Birmingham. Ph.D.

McElvanney, Tommy (2025). Preservation of determinism in MBQC under ZX-calculus rewrites. University of Birmingham. Ph.D.

Delkos, Avgerinos (2024). Proof complexity of systems of branching programs. University of Birmingham. Ph.D.

Cheung, Wai Tak (2021). Transparent synchronous dataflow: a functional paradigm for systems modelling and optimisation. University of Birmingham. Ph.D.