Karine Altisen Author & Editor

Karine Altisen is an associate professor at Grenoble-INP/Ensimag (France). She has been a member of the VERIMAG Laboratory since 1998 and obtained a Ph.D. in 2001. Her current research area combines formal methods and distributed computing. She is interested in theoretical and algorithmic aspects of fault-tolerant distributed systems, including their certification.Stephane Devismesis an associate professor at Universite Grenoble Alpes (France). Since 2008 he has been a member of the Synchronous Team of the VERIMAG Laboratory. He received his Ph.D. in 2006 from the University of Picardie Jules Verne (Amiens, France). In 2007, he spent one year as a post-doctoral fellow at CNRS/Universite Paris-Sud. He carries out broad research in theoretical issues of distributed fault-tolerant computing, especially related to self-stabilization.Swan Dubois received a Ph.D. in December 2011 from INRIA and UPMC Sorbonne Universites (Paris, France). He spent one year as a post-doctoral fellow at EPFL (Lausanne, Switzerland). He currently holds an associate professor position at Sorbonne University (formerly University Pierre and Marie Curie). His research domain covers the whole area of fault tolerance in distributed systems with a particular interest for self-stabilization and dynamic systems.Franck Petit received a Ph.D. in Computer Science in 1998. He spent more than ten years in the industry in various positions in Computer Science. He joined the University of Picardie Jules Verne (Amiens, France) as an associate professor in 1998. In 2004, he became a professor in the same university. After one year as a visiting researcher with INRIA LIP/ENS Lyon in 2008, he joined Sorbonne University (formerly University Pierre and Marie Curie), with LiP6 in 2009. His research focuses on algorithmic aspects of synchronization, stabilization, and fault tolerance in distributed systems. He also works in the area of networks of mobile robots.