My goal for this little corner of the internet is to catalog things I think about, and any progress I make in understanding them.

I have a variety of interests including algebraic geometry, integrable systems, and the formalization of those topics in mathlib. My main tool is Lean. Check out my past, present, and future project goals.

Go here if you want to learn more about me, or feel free to contact me.

If you're still here, maybe some of the posts below might be of interest?

Most recent posts

Learning Lean Seminar

First in my series of project posts

My current plan for the first few weeks is to write a blog post for each one the items that I’ve listed in my projects. For no better reason other than this is the first one listed on the page, I’ve decided to talk about my experience organizing and running... [Read More]