Contact
M V Ajay Kumar Nair
Postdoctoral Researcher,
Room No: X-21, Department of Mathematics,
Indian Institute of Science Bangalore Campus,
Bangalore, Karnataka, India 560012.
About Me
I am a Postdoctoral researcher at the Department of Mathematics, Indian Institute of Science Bengaluru. My mentor is Prof. Siddhartha Gadgil. I am working on the LeanAide project which focuses on Autoformalisation using AI and Lean.
I did my PhD at Department of Mathematics, Indian Institute of Science Bangalore under Prof. Subhojoy Gupta and Prof. Siddhartha Gadgil was my co-advisor. My thesis was broadly in the field of low-dimensional geometry/topology specialising in geometric structures on surfaces and their holonomies.
Please see here for detailed information about my research interests and here for my publications.
Please find my CV here