Leo Strijbos
Leo Strijbos

Hi, I'm Leo.

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

I hold 10 records in packing problems. Two of them had stood since 2007, and every one was reproduced blind by a third-party verifier.

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 built a bunch of agent infrastructure based on my own experiences. I felt that using Markdown files for memory was pretty primitive so I wrote Mind, a general-purpose neural memory backend. Intuitively, I figured that queues would suit agents better than while-loops, so I wrote Patience, a framework for building queue-based agents. I also felt inspired by Farza's Clicky, so I forked it and turned it into an internal company brain called Pinky.

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 teaching models to read a chip specification against its RTL to find real bugs.

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.

Leo