Hi there !

I am Ajinkya, currently a second year PhD student at Dept. of CSE, IIT Bombay, guided by Prof. Ashutosh Gupta and Prof S. Akshay. I work, broadly, in the area of formal verification of AI systems.