Name:Divya Rathore

Bio:

I am a doctoral scholar affiliated with the Computer Science and Engineering Department at the Indian Institute of Technology Madras, India.

My primary research endeavors center around validating program correctness through program analysis. My scholarly pursuits involve the comprehensive analysis of blockchain programs, wherein I aim to identify potential attack vectors utilizing static analysis methodologies. In tandem with my commitment to program verification, I am actively delving into the realm of distributed algorithms and their associated properties.

Country:India

Affiliation:Indian Institute of Technology, Madras

Research interests:Program Analysis, Formal Verification, Compilers, Blockchain