Registered user since Wed 13 Jan 2021
Name: Divyesh Unadkat
Bio: 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.
Affiliation: Indian Institute of Technology Bombay & TCS Research
Personal website: https://divyeshunadkat.github.io/
Research interests: Software Verification, Formal Methods, Programming Languages
|PLDI 2021||Committee Member in Artifact Evaluation Committee within the Research Artifacts-track|
|Show activities from other conferences|