Registered user since Fri 17 Nov 2023
Name:Shaurya Gomber
Country:United States
Affiliation:University of Illinois Urbana-Champaign
Personal website: https://sgomber.github.io/
X (Twitter): https://x.com/s_gomber
GitHub: https://github.com/sgomber
Research interests:Automated Reasoning, Program Analysis
Contributions
Using general profile