ISMM 2024
Tue 25 Jun 2024 Copenhagen, Denmark
co-located with PLDI 2024
Jianyi Cheng

Registered user since Mon 20 May 2024

Name:Jianyi Cheng
Bio:

I am a Research Associate at the University of Cambridge Computer Laboratory with Prof. Timothy M. Jones. I am also an incoming Assistant Professor in Computer Architecture at the University of Edinburgh. I completed my PhD at Imperial College London with Prof. George A. Constantinides and Dr John Wickerson. My research aims to automatically produce small, fast, low-energy and secure computing systems using formal methods. My research interests include high-level synthesis, formal methods, deep learning systems and hardware security.

Country:United Kingdom
Affiliation:University of Cambridge
Research interests:High-Level Synthesis, Formal Methods, Large Language Models

Contributions

Show activities from other conferences

PLDI 2024-profile
View general profile