Registered user since Fri 6 Jan 2023
Name:Samuel Coward
Bio:
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.
Country:United Kingdom
Affiliation:Imperial College London, UK / Intel Corporation
Personal website: https://samuelcoward.co.uk/
Research interests:Numerical Hardware Design
Contributions
2023
EGRAPHS
PLDI 2023-profile
View general profile
View general profile