Dr Jianyi Cheng

I am an Assistant Professor at the ICSA Institute of the University of Edinburgh. 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.

Prior to that, I was a Research Associate at the University of Cambridge Computer Laboratory with Prof. Timothy M. Jones. I was also a visiting researcher at Imperial College London, hosted by Dr Aaron Zhao. I completed my PhD at the CAS group of Imperial College London with Prof. George A. Constantinides and Dr John Wickerson.

I have a wide range of research collaborators, and you can find them in my publcation list. My Erdős number and Dijkstra number are both 3. If you are interested in working with me as an undergraduate or PhD student, please check Joining us.

Google Scholar ⬩ Twitter ⬩ Linkedin⬩ Email