Dr Jianyi Cheng

I am an Assistant Professor in the School of Informatics at the University of Edinburgh. I am also a Senate member at 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 computer architecture, systems, compilers, and formal methods.

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. If you are interested in working with me as an undergraduate or PhD student, please check Joining us.

Fully-funded PhD positions for 2026 Fall are available. Please check Joining us if interested in applying.

Google Scholar ⬩ Twitter ⬩ Linkedin⬩ Email