PhD in Computer Science, University of Ottawa, Canada
Testing of systems modeled as timed, untimed, and extended finite state machines. Synthesis of distributed systems (Decomposition of Petri net services, Solving automata equations). Optimization with application to protocol synthesis, testing, and cloud computing.
PhD in Computer Science, National Polytechnic Institute of Grenoble, France
Cognitive Computing and Systems, Adaptation and Learning, Data Mining and Knowledge Discovery, Approximate Reasoning and Decision Support; Intelligent Robotics, Autonomous Vehicles, Sensor Fusion, Medical Informatics.