About

I'm doing research to make engineered physical systems formally verifiable, so that tools like hardware components or mechanical devices can be derived from formal specifications, just like how a mathematician derives provably correct solutions to equations or makes approximations that are provably close to the true solution.

Who am I?

I'm a maths student at the University of Cambridge and an Emergent Ventures winner for my research into machine learning in CAD.

My interests lie within applied category theory, machine learning, CAD, topology optimisation and logic. But on this site, I'll often talk about topics completely different to those.

I value the ability to abstract and boil a problem down into only its most essential pieces. I also like to map the structure of analogous domains onto my domain of interest... and you'll see a lot of that in my posts here.

For example, take a look here at the similarities between my work and a 1988 paper on animating Pixar characters.

My current work:

I'm trying to formalise the concept of inverse design categorically.

...And I'm using this site to explain why I think that's important and where that could lead.

Contact me:

My email is oli(at)oliverpryce.xyz