About

Hello! I’m Lars.

I am a grad student in mathematics under the ALGANT program at Leiden and Bordeaux. Interested in algebra, logic, formal methods, and AI. More specifically, I would like to explore how AI can be used in a rigorous and safe way to further humanity’s greatest pursuits, such as mathematics.

This is one of my favorite poems by one of my favorite poets. You can read more about my current interests on my Now page. You can also check out some older projects I have worked on here, for a more up to date list feel free to ask for my CV. If you would like to get in touch, you can send an email to contact@larswagoner.com, or you can just stalk my LinkedIn, I’ll get the hint.

This website uses Hugo as a static site generator, I have made some tweaks to the Coder theme and everything is hosted for free on Github Pages!

Updated 9 April 2026.