IRIT - UMR 5505

English
CNRS
INPT
UPS
UT1
UTM
  Bandeau IRIT
 

  Picard Celia


  Statut : Doctorant
  Service / Equipe :  Assistance à la Certification des Applications DIstribuées et Embarquées
  Contact : Celia POINT Picard AT irit POINT fr
  Localisation : IRIT1 / Niveau 4, Pièce: 417
  Téléphone : 05 61 55 8456

 

Recherche

 Thèmes de recherche

  • Sureté du logiciel

  • Ingénierie des modèles

 Recherches actuelles

  • 4ème année de doctorat

    • Directeur de thèse : Ralph Matthes.
    • Date de début : 01/10/2008.
    • Sujet : Développement d'un noyau sûr de transformation de modèles

 

 Parcours de recherche

  • Stage de fin d'études ENSIMAG / MTI (FIB-UPC) / Grado de Ingeniero Superior (FIB-UPC)

    • Dates : 18/02/2008 - 18/08/2008
    • Lieu : CNES, Centre Spatial de Toulouse, sous-direction systèmes bord-sol (SB), service logiciels de vol (LV).
    • Tuteur : David Chemouil.
    • Sujet : Transformation de modèles en Scala.

 

 

Haut de page

 

Enseignement

  • ATER à l'ENSEEIHT

    • Année 2011-2012 :
      • TD STL (Sémantique et Traduction des Langages) en 2ème année
      • TP STL (Sémantique et Traduction des Langages) en 2ème année
      • TP Programmation Fonctionnelle (Caml) en 1ère année
      • TP Programmation Impérative (Ada) en 1ère année

  • Monitrice à l'Université Paul Sabatier.

    • Année 2010-2011 :
      • TD COA (Concepts Objets avancé s) en S5 (L3) à l'IUP-ISI
      • TP TC2 (Spécification et Traduction des Langages) en S7 (M1) à l'UPS
      • TP algo (B) en S5 (L3) à l'UPS
      • TP STL (Sémantique et Traduction des Langages) en S3 (M1) à l'ENSEEIHT
      • TP Caml en S5 (L3) à l'ENSEEIHT
    • Année 2009-2010 :
      • TP TC2 (Spécification et Traduction des Langages) en S7 (M1) à l'UPS
      • TP TC1 (UML) en S7 (M1) à l'UPS
      • TP algo (B) en S5 (L3) à l'UPS
      • TP STL (Sémantique et Traduction des Langages) en S3 (M1) à l'ENSEEIHT
      • TP Caml en S5 (L3) à l'ENSEEIHT
    • Année 2008-2009 (tout en doublon):
      • TP Caml en S1 (L1) à l'UPS
      • TP Caml en option IMM en S1 (L1) à l'UPS
      • TP C en S3 (L2) à l'UPS
      • TP C en S2 (L1) à l'UPS
      • TP Java en S6 (L3) à l'UPS
      • TP Caml en S6 (L3) à l'UPS

 

Haut de page