I'm an Assistant Professor within the Electricial and Computer Engineering ECE section, Department of Engineering. I am also a member of the DIGIT research centre. I received my M.Sc degree in June 2008 from Limoges University, and my PhD in December 2012 from Toulouse University France.
My research interests include:
- Modeling and analysis of safety and security of software-intensive embedded systems.
- Modeling of energy systems control and performance analysis
- Design and engineering of embedded software for cyber-physical systems.
- Machine learning for prediction and control optimization.
- Real-time scheduling and resource sharing.
- Formal verification, semantics and refinement of real-time systems
Currently, I am also working on the safety and security on cloud-connected industrial control systems and the use of machine learning for cyber security.
