Nitish Yadav
Ph.D Scholar
Affiliation: PACE Lab
Dept. & Inst.: Computer Science and Engineering, Indian Institute of Technology Madras
Research Interests
• Automated Formal Verification • Formal Methods • Distributed Systems • Model Checking • Cyber-Physical Systems
Education
- Ph.D, Department of Computer Science & Engineering, Indian Institute of Technology Madras, 2023–Present
- M.Tech (ICT), Software Systems, Dhirubhai Ambani Institute of Information & Communication Technology, 2019–2021
- B.Tech, Department of Computer Science & Engineering, Manipal University Jaipur, 2014–2018
Biography
I am a Ph.D. candidate in the Department of Computer Science & Engineering at IIT Madras. I am advised by Dr. Kartik Nagar and Dr. K. C. Sivaramakrishnan, and I am affiliated with the PACE group. I joined the Ph.D. program in January 2023.
Last Updated: —