What I’m doing now

go back ↰

# machine assisted mathematics
# research
# home
# upcoming travel

# machine assisted mathematics

I’m helping with Henry Yuen’s topics class on machine-assisted mathematics. I think it will be a great way to see what the future of math will look like, and think about how we can shape that future.

Still spending a bit of time at the Recurse Center, a really cool hackerspace where people write code that spark joy. (I know this feels like an ad, but I actually feel this way.)

# research

I have an idea to unify quantum algorithms that I am slowly trying out. I’m also working on a fun line of research with James Sud in quantum complexity, we just put the paper out!.

I made this website to synthesize interesting open problems in theoretical computer science (click here). Let me know if you find it useful!

# home

I moved recently; the new place feels like home. We now have two bedrooms, it’s wonderful to properly host.

The cherry blossoms just bloomed, which was awesome to see. It’s also been a frustratingly cold spring, I can’t wait for T-shirt weather!

# upcoming travel

This summer I’ll be with Google’s Quantum AI team in the Los Angeles area.


Last updated in April 2026. This page is inspired by Derek Sivers.