|
|
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 40 89 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é Sorbonne Paris Nord.
J'effectue mes recherches au sein de l'équipe Logique et Vérification (LoVe), dans l'axe Spécification et vérification modulaires et distribuées dont je suis le responsable.
· 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, Sécurité, Diagnostique, ...
o Thème de recherche : Mon domaine de recherche est la spécification et la vérification formelles de systèmes concurrents. Je m'intéresse également à l'adapatation et l'application des approches formelles à des domaines spécifiques tels que les processus métier, la composition de services Web, les processus et les ressources Cloud, les applications IoT, la vérification formelle de propriétés de sécurité, le diagnotique des systèmes à événements discrets et les processus dans le Blockchain.
o Sujets de stages Master 2 recherche
· Responsabilités administratives
· Président du département Informatique de l'Institut Galilée (depuis juin 2019)
· Vice-Président du département Informatique de l'Institut Galilée (2016-2019)
· Responsable de Master 1 Informatique (2008-2012)
· Quelques 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 Spécification de systèmes complexes (Master 2ère année, spécialité PLS)
o Systèmes infinis, temporisés et hybrides (Master 2ère année, spécialité PLS)
