Portrait Picture
I am a Ph.D. student in Computer Science at Uppsala University, Sweden. I started in September 2011, under the supervision of Parosh Abdulla and Mohamed Faouzi Atig. I am a member of the Algorithmic Program Verification group.

Research Interests

My main interest is in the theory of computation. I have mostly been working with quantitiative extensions of Pushdown Automata. I am also interested in automated methods for improving software quality, particularly model checking.


Conference Papers

Tutorial Papers


I have been a teaching assistant in the following courses: