Name:Samuel Coward

Bio:

Hi, I’m currently an 1851 Research Fellow in the Programming Principles and Logic group at UCL Computer Science. My supervisor is Professor Alexandra Silva. 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:University College London (UCL)

Research interests:Numerical Hardware Design