Jianyi Cheng

Jianyi Cheng is an Assistant Professor in the School of Informatics at the University of Edinburgh. His research aims to automatically produce small, fast, low-energy, and secure computing systems using formal methods. His research interests include computer architecture, systems, compilers, and formal methods.

Prior to this, he was a Research Associate in the University of Cambridge Computer Laboratory with Prof. Tim Jones. He completed his PhD in the CAS group at Imperial College London under the supervision of Prof. George Constantinides and Dr. John Wickerson.