A note for every reader
01 If you are a professor or supervisor considering me
I'm actively looking for graduate research opportunities in theoretical CS — logic, type theory, and the foundations of computation. I've written about my background, motivations, and the kind of work I hope to do.
Read the letter →02 If you are a researcher interested in collaboration
I follow several open problems at the intersection of proof theory, type theory, and complexity. If you're working on something adjacent and looking for a motivated collaborator, I'd genuinely like to hear from you.
On collaboration →03 If you are a fellow student or peer
We're probably thinking about some of the same things. I write about the problems I'm stuck on, the papers I find beautiful, and the slow process of learning to do research. Pull up a chair.
What I'm working on →04 If you are looking for help or tutoring
I occasionally help with logic, proof-writing, type theory, and mathematics. If you're stuck on something and think I might know the answer — or just want a second opinion — feel free to reach out.
How I can help →05 If you are simply curious about me
Then start anywhere. The blog is where I think out loud. The essays are slower and more considered. Life is what happens outside the proof assistant.
Where to begin →