Department of Computer Science and Technology
Sign in with Raven
I am a PhD student in the Mobile Systems group at the Department of Computer Science and Technology of the University of Cambridge, focusing on ML and AI. With my supervisor, Prof. Cecilia Mascolo, I am investigating the automation of the Machine Learning pipeline for sparse and unlabelled data.
I am a Computer Science PhD student at Downing College working under the supervision of Professor Robert Mullins and Professor Ross Anderson. My research is being supported by the Harding Distinguished Postgraduate Scholars Programme.
I am a second-year PhD student supervised by Peter Sewell working on the formalisation of weak memory models and proving equivalences between them in the Rocq Prover.
ryan.freumh.org
personal webpage
