Michael Huth's Research Group |
|
- Patrick Ah-Fat, supervise his PhD work on Secure Multi-Party Computations and Static Analysis
- Andrea Callia D'Iddio, supervise his PhD work on Satisfiability Modulo Theories and Mixed Integer Non-Linear Programming
- Alfonso Delgado De Molina Rius, supervise his PhD work on Legal Aspects of Smart Contracts
- Sylvester Kaczmarek, supervise his PhD work on Explainable Artificial Intelligence
- Leif-Nissen Lundbaek, supervise his PhD work on Block-Chain Technology for Financial Services
- Razvan Nicolescu, Postdoctoral Research Associate, Harnessing Economic and Social Value in IoT
Gone But Not Forgotten
- Paul Beaumont, supervised his PhD thesis Model-based Analysis of Nuclear Arms Control Verification Processes, graduated in 2017
- Huaxin Wang, graduated June 2007 with MEng thesis Framework for Under-Approximating Solutions of Parity Games in Polynomial Time; graduated in October 2013 with PhD thesis Solving Parity Games Through Fictitious Play
- Adam Antonik, former PhD student from October 2005 to September 2008, thesis Decision problems for partial specifications: empirical and worst-case complexity
- Paul Bilokon, former PhD student (first supervisor was Prof Abbas Edalat)
- Billiejoe (Nathaniel) Charlton, former PhD student from October 2004 to September 2008, thesis Cooperatively combining program verifiers: foundation and tool support
- Dr Harald Fecher, former DFG-funded postdoctoral visitor from April to November 2007
- William Heaven, former PhD student (first supervisor was Dr Alessandra Rousso), graduated January 2008
- Altaf Hussain (first supervisor was Prof Ian Hodkinson), former PhD Student, graduated April 2007
- Jim Huan-Pu Kuo, RA, supervised his PhD Thesis Parity Games: Descriptive Complexity and Algorithms for New Solvers, graduated in 2014
- Dr Nir Piterman, EPSRC-funded Research Associate from August 2007 to September 2010
- Dr Daniel Wagner, former PhD student from April 2007 to October 2010, thesis Finite-State Abstractions for Probabilistic Computation Tree Logic