Registered user since Fri 6 Jan 2023
Hi, I’m currently an Imperial College London PhD student in the Circuits and Systems Group, under the supervision of Professor George Constantinides. My research looks at all aspects of numerical hardware design and how we can create fast but verified hardware. My main project looks at novel techniques to optimise RTL level circuit designs, with side projects investigating bitvector transformation correctness and tight arithmetic expression bounds.
Affiliation:Imperial College London, UK / Intel Corporation
Research interests:Numerical Hardware Design
|EGRAPHS 2023||Committee Member in Program Committee within the EGRAPHS 2023-track|
|Show activities from other conferences|
Using general profile