conf.researchr.org / Sheera Shamsu
Sheera Shamsu

Registered user since Tue 25 Mar 2025

Name:Sheera Shamsu
Country:India
Affiliation:IIT Madras
GitHub: https://github.com/sheeraSearch82
Research interests:Mechanized Formal Verification, Garbage Collectors, Graph problems

Contributions