jianyicheng.github.io - Dr Jianyi Cheng

Description: A simple, whitespace theme for academics. Based on [*folio](https://github.com/bogoli/-folio) design.

jekyll (1596) portfolio-website (1347) academic-website (1065) jekyll-theme (974)

Example domain paragraphs

I am a Ph.D. candidate in the Circuits and Systems (CAS) group at Imperial College London, supervised by Prof. George A. Constantinides and Dr. John Wickerson .

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, including AMD Xilinx Vitis HLS , LegUp , Dynamatic , CIRCT , ScaleHLS and Phism .

My research interests include hardware programming, programming language, static analysis, formal verification and probabilistic programming.

Links to jianyicheng.github.io (3)

johnwickerson.github.io John Wickerson
deepwok.github.io deepwok.github.io
constantinides.net Thinking – A personal blog from @gconstantinides