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)