We've had digital computers for a little over a century, but there is still so much left to learn and do. The relationships between the universe and computation fascinate me, as well as its practical applications. How can understanding physics let us build more performant and powerful computers? How can we build programmable matter? What would such a world look like?
I am the CTO & cofounder of Vaire Computing. With Moore's law coming to an end, the demand for compute continuing to increase exponentially, and availability of electricity and water-cooling getting scarcer, something new is needed. We are trying to apply principles such as reversible computing to build Near-Zero Energy Chips.
University of Cambridge
Affiliate Lecturer
I teach a course called Biodesign as part of the Cambridge Computational Biology MPhil. This course covers how biological systems can be designed, redesigned, and programmed.
University of Cambridge
PhD
My PhD thesis was ‘on the performance and programming of reversible molecular computers’. It comprised two projects, ‘engines of parsimony’ and ‘the ℵ calculus’.
Engines of Parsimony
This project answers questions about the maximum computational speed of physical computers, finding general scaling laws. It also investigates the performance of cooperative/concurrent reversible computers, such as molecular computers; in particular, with respect to communication and resource sharing.
The ℵ Calculus
This project developed a (declarative) model of computation suitable for describing and programming reversible molecular computers.
I founded the Molecular Programming Interest Group as a community for early career researchers in molecular programming, DNA computing, and related specialties. We host podcasts, reading groups, and other activities.
The MPS is a group that organizes grassroots projects among the molecular programming community. Currently we are writing a textbook called the ‘Art of Molecular Programming’ to compile the distributed knowledge of our field into one place.