Hi, I'm Atharva Gawde. I'm an undergraduate at the University of Michigan studying Computer Science and Honors Mathematics, with a minor in Physics. I'm interested in systems programming, machine learning, and formal methods for proof, computation, and software. On the math side, I've recently been learning algebraic topology (homological stability and stable homotopy theory), as well as some tensor categories and algebraic geometry through coursework and some reading.

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

My resume is available here; a longer CV is available upon request. You can reach me at agawde05@gmail.com or agawde@umich.edu.