Jianyi Cheng

Research Associate · Department of Computer Science and Technology

University of Cambridge · United Kingdom

hardware securityhigh-level synthesisformal methodsdeep learning

About

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.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.