PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Jianyi Cheng

Registered user since Mon 20 May 2024

Name:Jianyi Cheng

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


Show activities from other conferences

Using general profile