LIPN : LCR

Kais Klai

 

Laboratoire d'Informatique de l'Université Paris Nord

UMR CNRS 7030

Institut Galilée Avenue J.B. Clément 93430

VILLETANEUSE, FRANCE

Tel : +33 1 49 40 44 43

Fax : +33 1 48 26 07 12

E-mail : kais.klai@lipn.univ-paris13.fr

 

 


 


·         Situation actuelle

o        Je suis maître de conférences (HDR) au LIPN (Laboratoire d'Informatique Paris Nord) de l'Université Paris 13.

J'effectue mes recherches au sein de l'équipe Logique, Calcul et Raisonnement (LCR), composante spécification et vérification.

·         Domaine de recherche

o        Mots clefs : model-checking LTL, abstraction comportementale, vérification symbolique, vérification modulaire, Réseaux de Petri (temporels), workflows inter-entreprises, composition de Web-Services, ...

o        Thème de recherche : Mon domaine de compétence privilégié est la spécification et la vérification formelles de systèmes concurrents.

o        Sujets de stages Master 2 recherche

·         Qualifications académique

·         Publications

·         Responsable de Master 1 Informatique (2008-2012)

·         Délegation CNRS à Télécom SudParis (2012-2013)

·         Enseignements

o       Système d'exploitation (INFO1 : Première année du cycle d'ingénieur à l'Institut Galilée)

o       Programmation Orientée Objet (CP2I : Prépa integré 2ème année)

o       Programmation Orientée Objet (INFO1)

o       Informatique de Base (Tronc commun Ingénieurs 1ère année)

o       Génie-Logiciel avnacé (Master 1ère année)

o    Systèmes de transitions et Model Checking (Master 1ère année)

o    Java Distribué (Master 1ère année)

o       Réseaux de Petri de Haut niveau (Master 2ère année, spécialité PLS)

o    Programmation adaptable et Web-Services (Master 2ère année, spécialité PLS)

o     Systèmes infinis, temporisés et hybrides (Master 2ère année, spécialité PLS)