Registered user since Thu 6 Aug 2020
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.
|SPLASH 2020||Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track|
|Show activities from other conferences|
View general profile