Expertise in the design and verification of large scale and complex automation and control systems. Applications in particular to autonomous vehicles / mobile robotics, networked embedded control systems (e.g., avionics), and transportation systems. Specialties: control theory, decision-making under uncertainty, signal and information processing, robotics, dynamic resource allocation problems, optimization.