IRIT - UMR 5505

Français
CNRS
INPT
UPS
UT1
UTM
  Bandeau IRIT
 

  Picard Celia


  Status : Doctorant
  Service / Team :  Assistance à la Certification des Applications DIstribuées et Embarquées
  Contact : Celia DOT Picard AT irit DOT fr
  Localization : IRIT1 / Level 4, Office: 417
  Phone : +33 (0)5 61 55 8456

 

Research

 Research Topics

  • Software safety

  • Model engineering

 

 Current Research Activities

  • 4th year PHD student

    • Director : Ralph Matthes.
    • Starting date : 10/01/2008.
    • Subject : Development of a certified kernel for model transformation

 

 Research Experience

  • ENSIMAG, MTI (FIB-UPC) and Grado de Ingeniero Superior (FIB-UPC) Final Studies Project

    • Dates : 02/18/2008 - 08/18/2008
    • Lieu : CNES, Toulouse Space Centre, On-Board and Ground Systems sub-direction (SB), Flight Softwares Service (LV).
    • Tutor : David Chemouil.
    • Subject : Model Transformation in Scala.

 

 

Top

 

Teaching

  • ATER at ENSEEIHT

    • Year 2011-2012 :
      • Directed Work in STL (Languages Specification and Translation) in 2nd year
      • Practical Work in STL (Languages Specification and Translation) in 2nd year
      • Practical Work in Caml in 1st year
      • Practical Work in Imperative Programming (Ada) in 1st year

  • Teacher Assistant at the "Paul Sabatier" University

    • Year 2010-2011 :
      • TD in COA (Advanced Object-Oriented Conception) in S5 (l3) at IUP-ISI
      • Practical Work in TC2 (Language Specification and Traduction) in S7 (M1) at UPS
      • Practical Work in TC1 (UML) in S7 (M1) at UPS
      • Practical Work in algo (B) in S5 (L3) at UPS
      • Practical Work in STL (Language Semantic and Traduction) in S3 (M1) at ENSEEIHT
      • Practical Work in Caml in S5 (L3) at ENSEEIHT
    • Year 2009-2010 :
      • Practical Work in TC2 (Language Specification and Traduction) in S7 (M1) at UPS
      • Practical Work in TC1 (UML) in S7 (M1) at UPS
      • Practical Work in algo (B) in S5 (L3) at UPS
      • Practical Work in STL (Language Semantic and Traduction) in S3 (M1) at ENSEEIHT
      • Practical Work in Caml in S5 (L3) at ENSEEIHT
    • Year 2008-2009 :
      • Practical Work in Caml in S1 (L1) at UPS
      • Practical Work in IMM option in S1 (L1) at UPS
      • Practical Work in C in S3 (L2) at UPS
      • Practical Work in C in S2 (L1) at UPS
      • Practical Work in Java in S6 (L3) at UPS
      • Practical Work in Caml in S6 (L3) at UPS

 

Top