I’m Angel Y. He, a DPhil student in the AIMS CDT at the University of Oxford.
I previously completed an MSc in Advanced Computer Science at the University of Oxford and a
Bachelor of Science in Computing and Software Systems at the University of Melbourne.
Learn more about my academic progression here.
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.
I have worked on projects ranging from theoretical foundations to practical tool development.
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.
Currently at Oxford, I am working with
Prof. David Parker,
focusing on robust verification of concurrent stochastic games.
Learn more about my academic work here.
I enjoy collaborating and discussing research with others — feel free to get in touch.
