Dr Jianyi Cheng
Incoming Assistant Professor
University of Edinburgh
SE14
William Gates Building
University of Cambridge
Cambridge, UK CB3 0FD
I am an incoming 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. I have a wide range of research collaborators, and you can find them in my publcation list.
Currently I am a Research Associate at the University of Cambridge Computer Laboratory with Prof. Timothy M. Jones. I am 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.
NOTE: I have funding to support one or two PhD students including international studentships. If you are interested in applying, please check Joining us.
Google Scholar ⬩ Twitter ⬩ Linkedin⬩ Email