Parosh Aziz Abdulla
Current PhD Students
Graduated PhD Students
Othmane Rezine
- Graduated 2018.
- Thesis: Verification of networks of communicating processes: Reachability problems and decidability issues..
Yunyun Zhu
- Graduated 2018.
- Thesis: Caches, Transactions and Memories: Models, Coherence and Consistency..
Carl Leonhardsson
- Graduated 2016.
- Thesis: Verification of Software under Relaxed Memory..
Frederic Haziza
- Graduated 2016.
- Thesis: Few is Just Enough! Small Model Theorem for Parameterized Verification and Shape Analaysis.
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), Miran Ismail (University of Silemani), Karwan Jacksi (University of Dohuk), Husen Mohammed Umer (University of Salahaddin).Nosheen Zaza (University of Salahaddin).
- Currently in Uppsala: