Christine Tasson

Christine Tasson is a Professor of Computer Science at ISAE-SUPAERO in Toulouse, France, where she holds a position in the DISC Department. She maintains an associate affiliation with LIP6 in Paris and was elected junior member of the prestigious Institut Universitaire de France (IUF) in 2021.

Her academic credentials include:

• PhD in Computer Science from Paris Diderot University (2009)
• HDR (Habilitation à Diriger des Recherches) from University of Paris Cité (2018)

Tasson's research program integrates theoretical computer science with critical systems engineering. She investigates Programming Languages through denotational/categorical semantics frameworks, advances Probabilistic programming models, and develops formal methods for Reactive and synchronous systems. Her work provides mathematical foundations for reliable distributed computing in aerospace contexts, emphasizing verifiable system design.

Her significant recognition includes:

• Junior membership in the Institut Universitaire de France (IUF), 2021

Current research is supported by active grants:

• JCJC ANR project: "Species, Syntax and Semantics Emergence"
• Mairie de Paris project: "Reactive Systems, Linear logic and Semantics"

She leads the "Engineering for Critical Systems" research group within DISC, focusing on systems engineering processes and models for aerospace applications where mathematical rigor meets engineering precision in safety-critical environments.