Homepage
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, zero knowledge, formal verification,post-quantum cryptography, and functional programming in Lean.
If you want to learn more about me check out my about me. If you have any questions feel free to contact me.
If you're still here, maybe some of my blog posts may interest you?