Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference
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

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

Using general profile