معرفی
Karine Altisen is an Associate Professor at Université Grenoble Alpes, affiliated with the VERIMAG Laboratory and teaching at Grenoble INP/Ensimag. She holds administrative roles as Vice-Head of Studies at Ensimag and member of the MSTIC Research Department. Her research focuses on fault-tolerant distributed algorithms and formal methods, including self-stabilizing systems, model-checking, and formal proof techniques using tools like Coq. She has contributed to projects such as ANR SkyData and ESTATE, exploring autonomous data paradigms and safety in time-varying environments.
Education includes a PhD in Computer Science (2001, Verimag Lab, advisor J. Sifakis) and postdoctoral work at INRIA Rhônes-Alpes (2001–2002) on multi-task control systems. Her work bridges theoretical foundations with practical implementations, emphasizing verified algorithms and cross-layer resource allocation in wireless sensor networks.
Research interests span distributed systems, formal verification, and energy-efficient protocols. Recent publications address leader election in directed networks, convergence of BFS spanning trees, and transistor-level hardware verification using SMT solving.
