Registered user since Wed 13 Jan 2021
Divyesh Unadkat is a Ph.D. Student in the Centre for Formal Design and Verification of Software (CFDVS), Computer Science & Engineering Department at the Indian Institute of Technology Bombay (IITB). He is pursuing his Ph.D. in Software Verification under the supervision of Prof. Supratik Chakraborty and Prof. Ashutosh Gupta. He is also currently affiliated with TCS Research.
|PLDI 2021||Committee Member in Artifact Evaluation Committee within the Research Artifacts-track|
|Show activities from other conferences|
View general profile