Name:Mohammad Afzal

Bio:

I am a scientist at TCS Research in Pune, India. I completed my PhD from IIT Bombay in February 2026. My research focuses on the intersection of formal methods and artificial intelligence.

Country:India

Affiliation:TCS Research Pune and IIT Bombay India

Research interests:Intersection of Formal methods and AI, Formal Verification of Programs