https://pagespro.isae-supaero.fr/christine-tasson/ fr SPIP - www.spip.net https://pagespro.isae-supaero.fr/local/cache-vignettes/L144xH190/rubon309-55150.jpg?1724878243 https://pagespro.isae-supaero.fr/christine-tasson/ 190 144 https://pagespro.isae-supaero.fr/christine-tasson/edito.html https://pagespro.isae-supaero.fr/christine-tasson/edito.html 2024-08-28T08:03:23Z text/html fr c.morzadec <p>Professeure d'informatique</p> - <a href="https://pagespro.isae-supaero.fr/christine-tasson/" rel="directory">Christine Tasson</a> <div class='rss_texte'><p>I am a professor of Computer Science at <a href="https://www.isae-supaero.fr/fr/" class='spip_out' rel='external'>ISAE-SUPAERO</a> in Toulouuse and associate member of <a href="https://www.lip6.fr/" class='spip_out' rel='external'>LIP6</a> in France.</p> <p><strong>Contact</strong></p> <p>Institut Supérieur de l'Aéronautique et de l'Espace<br class='autobr' /> Département DISC, Office 07.0114<br class='autobr' /> 10 avenue Edouard Belin<br class='autobr' /> BP 54032 <br class='autobr' /> 31055 Toulouse Cedex 4<br class='autobr' /> France</p> <p>Email : christine.tasson at isae-supaero.fr<br class='autobr' /> Tel : +33 5 61 33 83 80</p> <p><strong>Short Vita</strong></p> <ul class="spip"><li> 2023-now : Professor at ISAE Supaero, Toulouse, France</li><li> 2021 : junior member of IUF</li><li> 2020-2022 : Full professor at Sorbonne Université, Paris, France</li><li> 2018 : HDR from Université de Paris Cité</li><li> 2010-2020 : Associate professor at Université de Paris Cité, France</li><li> 2009-2010 : Postdoc at CEA, GIf-sur-Yvette, France</li><li> 2009 : PhD in Computer Science from Université Paris Diderot (Paris VII)</li></ul> <p><strong>Teaching</strong></p> <ul class="spip"><li> Algorithms and Programming (ISAE-SUPAERO Engineer 1A)</li><li> High-level Formal programming (ISAE-SUAPERO MAE2 Embedding Systems)</li><li> <a href="https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-40" class='spip_out' rel='external'>Probabilistic Programming</a> (Sorbonne Université, MPRI)</li></ul> <p><strong>Research topics</strong></p> <ul class="spip"><li> Programming Languages</li><li> Denotational and categorical semantics</li><li> Probabilistic programming</li><li> Reactive and synchronous systems</li><li> Distributed systems</li></ul> <p><strong>Research Projects</strong></p> <ul class="spip"><li> JCJC ANR : Species, Syntax and Semantics</li><li> Emergence Mairie de Paris : Reactive Systems, Linear logic and Semantics</li></ul></div> https://pagespro.isae-supaero.fr/christine-tasson/publications.html https://pagespro.isae-supaero.fr/christine-tasson/publications.html 2024-08-28T08:03:20Z text/html fr c.morzadec - <a href="https://pagespro.isae-supaero.fr/christine-tasson/" rel="directory">Christine Tasson</a>