PhD in Computer Science, University of Ottawa, Canada
Research areas
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
Research areas
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.
PhD in Electrical and Computer Engineering, University of Michigan/Ann Arbor, USA
Research areas
Traditional and non-traditional database systems, serial and parallel algorithms, information retrieval,data mining and machine learning in health informatics, and e-health.