conf.researchr.org / Abha Chaudhary
Registered user since Mon 26 Oct 2026
Name:Abha Chaudhary
Country:United States
Affiliation:Binghamton University (SUNY)
Personal website: https://abhachaudhary.github.io/
GitHub: https://github.com/abhachaudhary
Research interests:Formal Methods, Program Verification, Program Synthesis
Contributions