
Registered user since Wed 18 Jun 2025
Name:Syed Jafri
Country:United States
Affiliation:University of Vermont
GitHub: https://github.com/psilospore
Research interests:Programming Language Theory, Formal Methods, AI
Contributions
PLDI 2025-profile
View general profile
View general profile