He is part of the RETIS lab of the TeCIP (Institute of Communication, Information and Perception Engineering). From April 2012, he is a visiting researcher at the Laboratoire de Spécification et Vérification, École Normal Supérieure de Cachan, France. He is IEEE member, and associate editor of the Real-Time Systems Journal and of the Journal of System Architectures. His research interests are in real-time systems, real-time operating systems, scheduling algorithms, embedded systems, and wireless sensor networks.