Hello! I am Avaash.

I like to study graphs, complexity theory, and algorithms. I am currently doing research in Program Synthesis under the guidance of Prof. Peter-Michael Osera at Grinnell College. Check out our OCaml synthesis engine, Myth!

I've also built agentic tools like Corollary, an autonomous theorem prover. Previously, I worked on Brain-Computer Interface (BCI) software at Synchron.

I play basketball, kayak, speak four languages (currently learning my fifth), have published an app with over 1,700 downloads, founded a startup with 2,000+ clients, and have been to the base camp of Mt. Everest! Find anything interesting? Shoot me a text or email and let's connect!