Hi, I'm Leo.

I'm in my third year of computer science at Cambridge. I'm researching and building in machine learning, chip design and computational biology.

I hold 10 records in packing problems. Two of them had stood since 2007. Several of my records have since been broken.

My interest in bio came from training neural nets to detect malaria in high school, and then two ML research internships at Novartis. I built BatchFold, a parallelisation and batching infrastructure for protein folding models.

I've also done a bunch of work with open-source cores. I completed the first comprehensive formal verification of Raspberry Pi's Hazard 3 core. I also discovered this priviledge escalation bug in the Saturn Vector Unit.

In between, I spent a summer as founding engineer intern at Briefcase, and before that I cofounded a small automation agency with my friend Tom.

Right now I'm training models for inverse protein folding, and building EDA tools for AI inference chips.

To see a complete list of all the things I've built, the places I worked, and where I've studied, click here. Otherwise, you can reach me at ljfs2 [at] cam [dot] ac [dot] uk.