SPLASH 2019 (series) / Keyur Joshi
![Keyur Joshi](https://2019.splashcon.org/getProfileImage/keyurjoshi/39e3667c-bd80-4da8-87c6-110c23011a76/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.github.io/
Research interests:Programming Languages, Formal Methods, Software Engineering
Contributions
SPLASH 2019-profile
View general profile
View general profile