Will Lynas

Welcome to my website!

About Me

I'm from the South of England and for the past few years I have been living in London, pursuing a BSc in Mathematics from UCL, graduating in 2025.

I've always had a passion for programming, and I've been doing it for as long as I can remember.

My Experience

I started off programming in Java. Over time I've had exposure to a lot of different stacks, and have done internships in Python, Typescript, and a bit of embedded Rust.

Nowadays, I write in Rust whenever I can help it. I also enjoy functional programming and how it relates to Maths, and have done some work in Lean 4.