|
|
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 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), sur le thème spécification de systèmes et aide à la modélisation.
· Domaine de recherche
o Mots clefs : Réseaux de Petri, model-checking, vérification symbolique, vérification modulaire, ...
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 ou distribués.
o Sujets de stages Master 2 recherche
· Responsable de Master 1 Informatique
o Emploi du temps 2011/2012 (semestre 1)
o Emploi du temps 2011/2012 (semestre 2)
o Modalités de contrôle des connaissances (sous réserve d'acceptation)
o Attribution des UE de découverte
· Enseignement
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 Réseaux de Petri de Haut niveau (Master 2ère année, spécialité PLS)
o Systèmes infinis, temporisés et hybrides (Master 2ère année, spécialité PLS)
