🏡 Home

💡 Ideas

☎️ Contact

🔗 CV


Hello :)

I’m an undergrad at Imperial College London studying computing, graduating in 2024.

My research interests are type systems, programming language design & implementation, and formal verification. My main project at the moment is the Ochre programming language.

I love discussing philosophy, political theory, and taking myself way too seriously thinking I can solve the worlds problems on podcast walks.

Outside of worky stuff I do a bit of mountain biking, love chess, and sail when I get the chance.

The Idea Box is a haphazard collection of thoughts/project ideas I’ve wanted to write down at some point. I make no guarantees on the quality of anything in the idea box. Feedback & remarks are more than welcome! I have enabled comments on the site for that purpose, but feel free to contact via other means.


This website is a published Notion document linked to a custom domain with Fruition, which I highly recommend.

https://charlielidbury.com

https://charlielidbury.com

Powered by Fruition