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.
View general profile