Kaïs Klai

Kaïs Klai is a Professor of Computer Science at the University of Sorbonne Paris Nord, affiliated with the LIPN laboratory and the Institut Galilée. He holds leadership roles including President of the Computer Science Department (since 2019) and heads the SAFER research team. His research focuses on formal verification techniques, particularly addressing state space explosion through abstraction and modularity. He applies these methods to domains like blockchain, cloud systems, and business processes.

• Education: Habilitation à Diriger des Recherches (2013) from Université Sorbonne Paris Nord, focusing on hybrid verification techniques.

Research interests include concurrent systems verification, model checking, and domain-specific adaptations of formal methods. His work emphasizes efficiency gains through domain-aware verification approaches. Recent publications explore test path generation, smart contract analysis, and hybrid model checking.

He teaches advanced courses such as Transition Systems & Model Checking (M1) and RPHN: High-level Petri Nets (M2). Administrative roles include managing international relations for the southern Mediterranean and leading curriculum development in computer science programs.

• Labs/Teams: LoVe team (Verification axis leader until 2024), SAFER research team (since 2025).