Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 PLDI
Divyesh Unadkat

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.

Country:India
Affiliation:Indian Institute of Technology Bombay & TCS Research
Research interests:Software Verification, Formal Methods, Programming Languages

Contributions

Show activities from other conferences

PLDI 2021-profile
View general profile