Home

Lucas' Page

Hi, I'm Lucas Paul. I'm a PhD student in Computer Science at Yale University. My research interests are in programming languages, formal methods, and systems.

Posts

I'll eventually have more posts in the archives.