Events

Date: 17 April 2026   Time: 15:00 - 17:00

Location: Room 4.24. Peter Landin Building, Mile End. E1 4NS Map 

Title:
Equality Saturation and Industrial Circuit Design.

Abstract:
Equality saturation is a term rewriting approach that avoids challenges around picking an order to apply your rewrites in. In this talk I'll give an overview on e-graphs and equality saturation, attempting to distil the reasons behind the significant interest in this approach. I'll then present my own research, in collaboration with Intel, into high-performance circuit design exploring how equality saturation can help us to design efficient digital circuits.

Bio:
Sam Coward originally completed a maths degree at Cambridge but has since moved into digital circuit design. His PhD at Imperial College London with Prof. George Constantinides primarily explored how to leverage and extend equality saturation to automate arithmetic circuit design and verification. He recently joined UCL Computer Science working with Alexandra Silva. Personal Website: https://samuelcoward.co.uk/