 Aarti Gupta (computer scientist)

Aarti Gupta is a computer scientist known for her work in the fields of formal methods, software verification, and program analysis. She has made significant contributions to the development of techniques and tools for ensuring the correctness and reliability of software systems. Gupta's research often focuses on topics such as model checking, abstract interpretation, and automated reasoning, which are essential for improving software quality and reliability. In her academic career, she has published numerous papers and has been involved in various research projects and collaborations.