Angel Y. He

DPhil Student · Autonomous Intelligent Machines & Systems (AIMS CDT) · University of Oxford

Hi! I'm Angel. I'm a DPhil student in the AIMS CDT at the University of Oxford, where I work with Prof. David Parker on robust verification of concurrent stochastic games. Before that, I completed an MSc in Advanced Computer Science at Oxford and a BSc in Computing and Software Systems at the University of Melbourne.

My research is driven by the role of probability in computer science as a unifying framework for uncertainty, verification, and decision making. I work on formal and quantitative verification of probabilistic systems, particularly under epistemic uncertainty, with a focus on robustness and multi-agent interaction. Motivated by recent advances in AI, I am increasingly interested in reinforcement learning under uncertainty and in bridging formal verification with learning-based methods, with the aim of providing robust, formally guaranteed solutions for autonomous and multi-agent systems.

My undergraduate research was carried out under the supervision of the wonderful Prof. Mark Holmes (Maaak), initially as an undergraduate vacation scholar and later as a graduate research assistant.

I enjoy collaborating and discussing research with others — feel free to get in touch!