Hi, I am a PhD student, and working with professor Ashutosh Gupta. My research interest is in formal verification in machine learning. My PhD is sponsored by TCS research, India.

Mohammad Afzal.
afzal@cse.iitb.ac.in
Visit me at: linkedin