SPLASH 2020 (series) / Alok Srivastava
![Alok Srivastava](https://2020.splashcon.org/getProfileImage/aloksrivastava/f84e3299-6b6b-4dc2-a809-688e38b487bb/small.jpg?1711563451000)
Registered user since Mon 19 Mar 2018
Name:Alok Srivastava
Affiliation:SAIC
Personal website: http://www.saic.com/
Research interests:High Reliability Safety Critical Software
Contributions
SPLASH 2020-profile
View general profile
View general profile