Pierre de Saqui-Sannes

Current Position
 Professor of Model-Based Systems Engineering
 Team leader of the CASC research group (CASC = Criticial Systems Design and Analysis)
 Academic Advisor for Student Exchanges (North and South America).

Short Bio
 PhD (University of Toulouse) prepared at LAAS-CNRS in Toulouse, France, 1990
 Postdoc (University of Montreal, Canada), 1991
 Accreditation to Supervise Research ("Habilitation à Diriger les Recherches") from the Institut National Polytechnique de Toulouse (2005)

Taught courses in the past few years
 Object-Oriented Software Engineering (UML, Java)
 Model-Based Engineering of Aerospace Systems (SysML)

Research
 Model-Based Engineering of Aerospace Systems
 Real-time SysML (expression power, formal semantics)
 Model analysis (simulation, formal verification, methodological issues)
 Publications :
http://oatao.univ-toulouse.fr/view/...

Student Exchanges
 Academic Advisor for incoming/outgoing students from/to Canada, USA, Argentina, Brazil, and Colombia
 Focal point for relations with universities from the above countries.