Research Scientist at LAAS-CNRS (Toulouse, France) in Computer Science.
Distributed systems:
Algorithms and mathematical models
Architectural solutions:
Safe evolutions for dynamic systems
Supervision and monitoring:
Safety and temporal properties
Human-carried Distributed Systems
Cooperative behaviors: models and experiments
Publications
All publications are open-access. Knowledge should remain free.
Projects
I am involved in several reserarch projects with industrial partners and academics.
Current Direct Industrial projects
Renault Guyancourt: Software Architectures for Future Autonomous and Connected Vehicles (2017-2020). CIFRE contract for Daniel Loche PhD.
Continental CDSF: Adaptive and efficient load-balancing strategies for events dispatching in vehicle-to-vehicle systems with spatio-temporal guarantees (2018-2021). CIFRE contract for Jean Ibarz PhD.
Current Academic projects
Souk: Social Observation of Human Kinetics. Project co-leader with G. Tredan.
Souk is a multidisciplinary project to study spatial and social proximity interrelations. With G. Théraulaz (CRCA) and C. Sire (LPT).
The main goal of Souk is to provide means to understand how collective behaviors arise, and how/what kind of information
helps a group to optimize a task.
Distributed Algorithms: Computability/Complexity/Dynamicity/Spatiality with algebraic topology tools, with UNAM/Matematicas/Mexico (S. Rajsbaum and A. Castañeda), IRIF/Paris (P. Fraigniaud), UCLA/Los Angeles (E. Gafni). Long-term collaboration
using different funding sources (FCS STAE/CNRS PICS/UNAM/...)
Syscob, bio-inspired complex systems. Co-leader with G. Théraulaz (CRCA) . Syscob
is leverages cross-disciplinary approaches for building intelligent swarms of drones.
Current Cooperative projects
H2020 CPSELabs : CPS Engineering Labs - expediting and accelerating the realization of cyber-physical systems
ANR BLANC Murphy(2011-2013): Dependability-focused Evaluation of Sensor Networks. LAAS leader.
INRIA ARC Serus(2011-2012): Software Engineering for Resilient Ubiquitous Systems. Participant.
EU NoE Resist(2006-2009): Resilience for survivability in IST. Mobile project leader.
EU FP6 ASSERT(2004-2007): Automated proof-based System and Software Engineering for Real-Time applications. LAAS leader.
EU FP6 PRIME(2004-2008): Privacy and Identity Management for Europe. Server-side and access control leader.
Supervision
PhD Students
Tomas Robert (2005-2009), co-supervision with Jean-Charles Fabre. Thomas Robert worked on the on-line detection of temporal properties in real-time systems.
I was particularly involved in theoretical aspects of his work, including automated transformation
of properties into languages, and model transformation. Thomas Robert is associated professor in ENST/Paristech since 2009.
Olivier Baldellon (2010-2014), co-supervision with Jean-Charles Fabre). Olivier worked on the monitoring of
distributed temporal properties expressed as Petri Nets. Olivier Baldellon is associate
professor in Nice University.
Miruna Stoicescu (2010-2013), co-supervision with Jean-Charles Fabre. Miruna Stoicescu developed a framework to enable safe fine-grained
evolution of a system despite changes in the execution context. Miruna Stoicescu is
now with ESA (European Spatial Agency)
Moussa Traore (2011-2015), co-supervision with Marc-Olivier Killijian and Sébastien Gambs.
Moussa Traore developed and proved distributed algorithms to provide privacy-preserving
localization services without trusted central authorities.
Moussa Traore is now with Capgemini.
Hélène Martorell (2012-2014), co-supervision with Jean-Charles Fabre ( Renault Contract). Hélène Martorell developed a methodology to enable dynamic updates in the critical
embedded system AUTOSAR. Hélène Martorell is now with Continental.
Ludovic Pintard (2012-2015), co-supervision with Jean-Charles Fabre and Karama Kanoun (Valeo Contract). Ludovic Pintard developed a methodology to include
ISO 26262 requirements in a classical V-shaped development process used in the automotive industry.
The developed tool is now used in production, and Ludovic Pintard is now with Valeo R\&D.
Roberto Pasqua (2013-2016), co-supervision with Mohamed Kaaniche and Gilles Trédan. Roberto Pasqua worked on the SOUK (Social Observation of Human Kinetics)
platform to collect and analyze human motion in crowds, and used captured data to study
privacy risks on users and to evaluate algorithms for mobile systems.
Christophe Bertero (2016-2019), co-supervision with Jean-François Léon, Aerology Lab, Toulouse. Christophe Bertero is working on the development of the CLUE platform
for collecting mobility and air quality data using a network of bicycles.
Daniel Loche (2017-2020), co-supervision with Jean-Charles Fabre and Michaël Lauer (Renault contract). Daniel Loche is working on architectures to enable safe execution of mixed criticality systems on multicore platforms.
Jean Ibarz (2018-2021), co-supervision with Jean-Charles Fabre and Michaël Lauer (Continental contract). Jean Ibarz works on algorithms to enable safe and timely exchange of information
in distributed systems composed of mobile vehicles.
Postdocs
Fanny Dufossé (2013-2014) with Jérémie Guichet (LAAS). Fanny Dufossé worked on game theory and model checking; she is Research Scientist in INRIA Lille since 2014.
Angeliki Kritikakou (2013-2014) with Claire Pagetti (ONERA). Angeliki Kritikakou worked on efficient execution of mixed critical workloads on multicore architectures, and is associate professor in University of Rennes since 2014.