Christine Tasson

I am a professor of Computer Science at ISAE-SUPAERO in Toulouuse and associate member of LIP6 in France.

Contact

Institut Supérieur de l’Aéronautique et de l’Espace
Département DISC, Office 07.0114
10 avenue Edouard Belin
BP 54032
31055 Toulouse Cedex 4
France

Email : christine.tasson at isae-supaero.fr
Tel : +33 5 61 33 83 80

Short Vita

• 2023-now : Professor at ISAE Supaero, Toulouse, France
• 2021 : junior member of IUF
• 2020-2022 : Full professor at Sorbonne Université, Paris, France
• 2018 : HDR from Université de Paris Cité
• 2010-2020 : Associate professor at Université de Paris Cité, France
• 2009-2010 : Postdoc at CEA, GIf-sur-Yvette, France
• 2009 : PhD in Computer Science from Université Paris Diderot (Paris VII)

Teaching

• Algorithms and Programming (ISAE-SUPAERO Engineer 1A)
• High-level Formal programming (ISAE-SUAPERO MAE2 Embedding Systems)
• Probabilistic Programming (Sorbonne Université, MPRI)

Research topics

• Programming Languages
• Denotational and categorical semantics
• Probabilistic programming
• Reactive and synchronous systems
• Distributed systems

Research Projects

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