Registered user since Fri 10 Oct 2025
Name:Omar Muhammad
Country:India
Affiliation:Indian Institute of Science, Bangalore
Personal website: https://omar826.github.io/
GitHub: https://github.com/omar826
Research interests:Automated Reasoning, Verification
Contributions
PLDI 2026-profile
View general profile
View general profile