SPLASH 2018 (series) / Parosh Aziz Abdulla
![Parosh Aziz Abdulla](https://2018.splashcon.org/getProfileImage/paroshazizabdulla/525d0c43-22ff-4a89-b314-05fe27894778/small.jpg?1711601344000)
Registered user since Sat 13 Sep 2014
Name:Parosh Aziz Abdulla
Country:Sweden
Affiliation:Uppsala University, Sweden
Personal website: http://user.it.uu.se/~parosh/
Research interests:Concurrency, Distributed Systems, Program Verification, Model Checking, Automata, Logic
Contributions
SPLASH 2018-profile
View general profile
View general profile