Visitors

I am a Research Associate at the University of Cambridge Computer Laboratory. My research aims to produce smaller, faster and safer hardware using formal methods. I am currently working on the CAPcelerate Project, which extends CHERI capabilities to various classes of accelerators. My research interests include hardware security, high-level synthesis, formal methods and deep learning.

Please find my latest information on my personal website: https://jianyicheng.github.io

Georgios Rizos is a research associate at the Mobile Systems Research Laboratory, headed by Dr. Cecilia Mascolo, working on robust learning of audio representations aimed at digital healthcare and diagnostics.

Previously he was a doctoral candidate at Imperial College London, UK, working on deep uncertainty quantification of multimodal data as a member of the Group on Language, Audio, and Music (GLAM). His PhD work was supervised by Dr. Björn Schuller and funded by the prestigious President's Scholarship of Imperial College London (EPSRC Grant No. 2021037).

Hongxiang is a visiting fellow in the Department of Computer Science and Technology at the University of Cambridge, and a Research Scientist at Samsung AI Center Cambridge. His research interests focus on machine learning hardware systems, design automation, and heterogeneous computing. For Part III/Mphil Project and Ph.D. opportunities, please contact me through email (visit my homepage for details).