SPLASH 2020
Sun 15 - Fri 20 November 2020 Online Conference
Jianyi Cheng

Registered user since Thu 6 Aug 2020

Name: Jianyi Cheng

Bio: I am a Ph.D. candidate in the Circuits and Systems (CAS) group at Imperial College London. My research aims to produce smaller and faster hardware using formal methods. My current work is mainly focused on high-level synthesis (HLS) tool optimisation. My research interests include hardware programming, static analysis, formal verification and probabilistic programming.

Country: United Kingdom

Affiliation: Imperial College London

Personal website: https://jianyicheng.github.io

Research interests: Hardware programming, Static analysis, Formal Verification, Probabilistic Programming

Contributions

SPLASH 2020Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Show activities from other conferences

Using general profile