Christine Tasson

Professeure à l'ISAE SUPAERO depuis janvier 2023, j'enseigne l'informatique dans le Département d'Ingénierie des Systèmes Complexes (DISC).
Professeure des universités de novembre 2020 à décembre 2022, j'ai enseigné dans le département d'ingénierie de Sorbonne Université.
Maîtresse de conférences de 2010 à 2020, j'ai enseigné au sein de l'UFR d'informatique de l'Université Paris Diderot.
De septembre 2018 à septembre 2020, j'ai été responsable du Master 2 LMFI avec Boban Velickovic. De 2012 à 2018, j'ai été responsable de la L1-L2 double licence maths et informatique avec Paul Rozière et Riccardo Brasca.

2022-2024:

Langages de Programmation Probabiliste (M2 MPRI)
Algorithms and Programming. 1A élèves ingénieurs
Synchronous Programming. 2A Mastère Embedded Systems

2021-2022:

Langages de Programmation Probabiliste (M2 MPRI)
Préparation à l'agrégation d'informatique (M2 - Sorbonne Université).
TPEA - Programmation probabiliste (M2 STL - Sorbonne Université)
Programmation comparée (L3 - Sorbonne Université)

2020-2021:

Programmation concurrente réactive et répartie (M1 - Sorbonne Université)
Calculabilité et Décidabilité (L3 - Sorbonne Université)
Programmation comparée (L3 - Sorbonne Université)
TPEA - Programmation probabiliste (M2 STL - Sorbonne Université)
Éléments d'algorithmique (L2 - Université de Paris)

2019-2020:

Protocoles Réseaux (M1 Impairs, Genial, Data).
Preuves Programmes, outils classiques (M2 LMFI).
Préparation de leçons pour l'option informatique de l'agrégation de mathématiques. (Annulé)
Sémantique des langages de programmation (M1 Recherche).
Maths Discrètes (L3).

2018-2019:

Preuves Programmes, outils classiques (M2 LMFI).
Préparation de leçons pour l'option informatique de l'agrégation de mathématiques.
Sémantique des langages de programmation (M1 Recherche).
Logique (L3).
Maths Discrètes (L3).
Programmation Fonctionnelle (L3).

2017-2018:

Préparation de leçons pour l'option informatique de l'agrégation de mathématiques.
Logique (L3).
Introduction aux systèmes d'explotiation (IS1-MathsInfo)

2016-2017 :

Logique (L3).
Initiation à la programmation 1 (IP1-Python)
Introduction aux systèmes d'explotiation (IS1-MathsInfo)

2015-2016 :

Logique (L3).
Lambda-Calcul, de l'abstraction à l'application: le cours de sémantique.
Initiation aux systèmes d'explotiation (IS1-MathsInfo)

2014-2015 :

Lambda-Calcul, de l'abstraction à l'application: le cours de sémantique.
Initiation aux systèmes d'explotiation (IS1-MathsInfo)

2013-2014 :

Lambda-Calcul, de l'abstraction à l'application: le cours de sémantique et le dm à rendre le 4 mars.
Langages de Scripts (LS4)

2010-2013 :

Preuves de programmes: le cours et les tds/tps
Langages de Scripts (LS4)
Principe de fonctionnement des machines binaires (PF1)
Initiation aux systèmes d'explotiation (IS1)

2009-2010 :

Principe de fonctionnement des machines binaires (PF1) ATER à l'université Paris VII
Analyse fonctionnelle et convexe (AFC) à l'ÉNSAE

2006-2009 :

Dans le cadre du monitorat à l'ufr d'informatique de l'université Paris VII.

Automates finis (AF4)
Mise à niveau Unix et C pour les L3 bioinfo.
Informatique Fondamental (IF1)
Internet et outils (IO2)

Autres:

2005-2006 : Vacation en L1 à l'université Paris V : Mathématique et calcul
2004-2005 : Colles en MPSI et PC au Lycée Chaptal (Paris 8)