Jianyi Cheng

Research Associate · Department of Computer Science and Technology

University of Cambridge · United Kingdom

hardware securityhigh-level synthesisformal methodsdeep learning

简介

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.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。