I am a Ph.D. student in Computer Science at Uppsala University, Sweden.
I started in September 2011, under the supervision of
Mohamed Faouzi Atig
I am a member of the Algorithmic Program Verification
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.
I have been a teaching assistant
in the following courses: