Registered user since Thu 5 Dec 2024
Name:Harshit Garg
Country:United States
Affiliation:Northeastern University - Khoury College of Computer Sciences
Personal website: https://harshitgarg.in
GitHub: https://github.com/harshitgarg22
Research interests:Programming Languages, Distributed Systems, Formal Specifications
Contributions
Using general profile