Registered user since Tue 30 Dec 2014
I am a Ph.D. student in Computer Science at Uppsala University, Sweden. My supervisors are Dr Mohamed Faouzi Atig, Pr Parosh Aziz Abdulla, and Dr Philipp Rümmer. I am a member of the Algorithmic Program Verification group and UPMARC center, Uppsala University.
|SPLASH 2018|| Optimal Stateless Model Checking under the Release-Acquire Semantics|
Optimal Stateless Model Checking under the Release-Acquire Semantics
|Show activities from other conferences|
View general profile