PhD in Computer Science, University of Southern California, 1994

MSc in Computer Science, University of Southern California, 1987

Engineer diploma, École Supérieure d'Ingénieurs en Électrotechnique et Électronique, 1986

Formalization of autonomous systems

Application of formal methods

Ontological modeling and reasoning

• Autonomous Systems  | Verification And Validation Of Autonomous Systems
• Autonomous Systems  | Operation Of Autonomous Systems
• Software, Modeling, Simulation, and Information Processing  | Mission Architecture, Systems Analysis, And Concept Development
• Autonomous Systems  | Systems Architecture

• Runtime verification  
• logical reasoning  
• ontologies  
• description logic  

• JPL Principal Designation | 313D - System Architectures & Behaviors (2001)