SPLASH 2019 (series) / Boris Shingarov
![Boris Shingarov](https://2019.splashcon.org/getProfileImage/borisshingarov/5df65224-422c-4d57-841c-8bbf1a065cc3/small.jpg?1712070380000)
Registered user since Wed 18 Sep 2019
Name:Boris Shingarov
Country:Canada
Affiliation:LabWare
Research interests:Virtual Machines, Formal Verification
Contributions
SPLASH 2019-profile
View general profile
View general profile