Nihal Pekergin
Modélisation, évaluation, vérification des systèmes informatiques
Nouvelles techniques d'analyse des systèmes à événements discrets
Comparaison stochastique
"Model checking" statistique
Formation
Recherche
CheckBound (ANR-SETI-06-02)
MARkovian MOdeling Tools and Environments (ANR-12-MONU-19)
Enseignements