Professor of Digital Computation, Imperial College London
Director, Early Career Researcher Institute (ECRI)
About
I am interested in everything to do with computation — especially its physical embodiments — and in the broader social and philosophical questions that arise when we build systems and abstractions around it. My research combines elements of computer science, electronic engineering, and mathematics, with a focus on how deep structure and rigorous reasoning can lead to radically more efficient hardware and algorithms.
Research Themes
High-level synthesis, with a focus on numerical algorithms, approximation, and memory structures; Boolean approaches to neural networks (including our work on LUT-based neural networks); hardware-aware quantisation; e-graph rewriting for arithmetic optimisation; novel computer arithmetics; intensional or structural understanding of computation.
Recruiting PhD Students
I supervise PhD students who want to combine mathematical insight, architectural reasoning, software engineering and hands-on digital hardware design. See Join Us if you are interested in applying.
Updates
I post regular research notes, news, and reflections via LinkedIn, Bluesky, and X (Twitter).
I also maintain an active blog blending technical, philosophical, and social themes.
Explore Further
- Read more about current research directions via my blog → Research.
- Information for prospective students → Join Us.
- Industrial collaboration and consulting → Consultancy and Impact.
- Full publication list → DBLP.
- My current and former students → People.
Thinking 