I'm Angel Y. He, a recent Computer Science graduate.
I did my Bachelor of Science (majoring in Computing and Software Systems)
at the University of Melbourne, and I'm currently studying the MSc in Advanced Computer Science
at the University of Oxford.
Learn more about my academic progression here.
I am deeply motivated by the untapped potential of probability in computer science.
From a theoretical perspective, my interests lie in optimisation, stochastic analysis, and
formal verification.
Practically, I am interested in automated verification of probabilistic systems,
particularly in security applications.
I've worked on projects ranging from theoretical proofs to practical implementations.
My undergrad research project was completed under the supervision of the wonderful
Prof. Mark Holmes (Maaak)
– initially as an undergraduate vacation scholar, and later on as a graduate research assistant.
Learn more about my academic work here.
I enjoy collaborating and discussing research with others.
So feel free to get in touch with me!