conf.researchr.org / 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/
X (Twitter): https://x.com/divyeshunadkat
Research interests:Software Verification, Formal Methods, Programming Languages
Contributions