Registered user since Mon 21 Oct 2024
Name:Roger Burtonpatel
Country:United States
Affiliation:University of Pennsylvania
Personal website: https://rogerburtonpatel.github.io
Research interests:Programming Languges, Compilers, Formal Verification
Contributions
Using general profile