ETAPS 2019 (series) / Muhammad Osama
![Muhammad Osama](https://conf.researchr.org/getProfileImage/muhammadosama/60662f5f-4ed2-4212-81c5-b816fa230324/small.jpg?1711695656000)
Registered user since Thu 31 Jan 2019
Name:Muhammad Osama
Country:Netherlands
Affiliation:Eindhoven University of Technology
Personal website: https://www.researchgate.net/profile/Muhammad_Osama3
Research interests:GPU Computing, Model Checking, Parallel SAT Solving
Contributions
ETAPS 2019-profile
View general profile
View general profile