samuelcoward.co.uk - Samuel Coward

home > domains > samuelcoward.co.uk

Description: Imperial College London

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

Example domain paragraphs

Imperial College London

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.

DAC 23 - Automating Constraint-Aware Datapath Optimization using E-Graphs

Links to samuelcoward.co.uk (3)

• ztatlock.net Zachary Tatlock
• mwillsey.com mwillsey
• constantinides.net Thinking – A personal blog from @gconstantinides