Divya Rathore
Ph.D. Scholar (CSE, IITM)
Research Group
PACE Lab, IIT Madras
Prime Minister's Research Fellow
Biography
I am Divya Rathore, guided by Dr. Kartik Nagar in the area of Formal Verification and Program Analysis. My interest areas revolve around Database Systems, Distributed systems, Compilers, Program Analysis, and Formal Verification. With these interests, currently, I am working on verifying Smart Contracts Safety against State Inconsistency Attacks involved with the transactions in distributed ledgers, focusing on Ethereum and the Solidity programming language.
You can find my CV here
Education
Ph.D., IIT Madras (2021-Ongoing)
M.Tech, NIT Kurukshetra (2019-2021)
B.Tech, Indraprastha University (2012-2016)