|
|
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
· 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)
