Ramkumar Ramachandra


Budding mathematician intrigued by Derived Algebraic Geometry. Also an expert programmer with expertise in C++ and Coq.

This site is primarily consists of my mathematical study notes.

I can be reached at [artagnon@gmail.com](mailto:artagnon@gmail.com)