Hi, I'm Atharva Gawde. I'm an undergraduate at the University of Michigan studying Honors Mathematics and Computer Science, with a minor in Physics. I've recently been learning some algebraic topology (homological stability and stable homotopy theory), as well as some tensor categories and algebraic geometry through coursework and some reading. On the computer science side, I'm often thinking about interaction models, formal methods for proof and software, and adjacent things.

For some of my projects, research, and expository writing, see Work.

My resume is available here; my curriculum vitae is attached here. You can reach me at agawde05@gmail.com or agawde@umich.edu.

This website's design was inspired by Arpon Raksit.