Parosh Aziz Abdulla
Current PhD Students
Graduated PhD Students
Lisa Kaati
- Graduated 2008.
- Thesis: Reduction Techniques for Finite (Tree) Automata.
Ahmed Rezine
- Graduated 2008.
- Thesis: Parameterized Systems: Generalizing and Simplifying Automatic Verification.
Noomene Ben Henda
- Graduated 2008.
- Thesis: Infinite-state Stochastic and Parameterized Systems.
Sven Sandberg
- Graduated 2007.
- Thesis: Games and Probabilistic Infinite-State Systems.
Johann Deneux
- Graduated 2006.
- Thesis: Verification of Parameterized and Timed Systems: Undecidability and Efficient Methods.
Pritha Mahata
- Graduated 2005.
- Thesis: Model Checking Parameterized Timed Systems.
Julien d'Orso
- Graduated 2003.
- Thesis: New directions in symbolic model checking.
Aletta Nylen
- Graduated 2003.
- Thesis: Verification of Infinite State Systems: Decision Problems and Efficient Algorithms.
Mats Kindahl
- Graduated 1999.
- Thesis: Verification of Infinite State Systems: Decision Problems and Efficient Algorithms.
Current Post-docs
MSc Students (from Kurdistan)
- Graduated:
Ismail Amin (University of Dohuk), Muhsin Atto (University of Dohuk), Sarwar Aziz (University of Silemani), Sallah Hama Amin (University of Silemani), Bestoon Jaff (University of Silemani), Basima Zrko Jakoob (University of Dohuk).
- Currently in Uppsala:
Miran Ismail (University of Silemani), Karwan Jacksi (University of Dohuk), Amanj Mahmood (University of Salahaddin), Husen Mohammed Umer (University of Salahaddin).