SPLASH 2021 (series) / Keyur Joshi
![Keyur Joshi](https://2021.splashcon.org/getProfileImage/keyurjoshi/6a07a0c3-9f46-4a08-a5dd-09228dda64ed/small.jpg?1711482424000)
Registered user since Thu 14 Feb 2019
Name:Keyur Joshi
Country:United States
Affiliation:University of Illinois at Urbana-Champaign
Personal website: https://kpjoshi.com
Research interests:Programming Languages, Formal Methods, Software Engineering
Contributions
SPLASH 2021-profile
View general profile
View general profile