Close
TechSocial Series - September 2025
16 September 2025, 4:00 pm–6:00 pm
Hoping you've managed get some much deserved inner program optimisation yourself this summer, we are back! Join us in October, where Samuel Coward will be speaking about 'Equality Saturation and Industrial Circuit Design'.
This event is free.
Event Information
Open to
- All
Availability
- Yes
Cost
- Free
Organiser
-
ARC TechSocial Team – Centre of Advanced Research Computing
Location
-
Function space - 1st Floor90 High HolbornLondonWC1V 6LJUnited Kingdom
Abstract
In this talk, Samuel will give a brief background on e-graphs and equality saturation, attempting to distill the reasons behind the significant interest in this approach. He will then present his own research, in collaboration with Intel, into high-performance circuit design exploring how equality saturation can help us to design efficient computational circuits.
Free regsitration available via Pretix
Head to our TechSocial Series hompage for more information about future dates and speakers
Map
About the Speaker
Samuel Coward
at UCL Computer Science
Samuel 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 and is an incoming 1851 Royal Commission Research Fellow.
Website: https://samuelcoward.co.uk/