Arnaud Dieumegard - PhD student in Computer Science

_images/photo.jpg

I’m a PhD Student in computer science in the ACADIE (Assistance à la Certification d’Applications DIstribuées Embarquées team of the IRIT (Institut de Recherche en Informatique de Toulouse laboratory, UMR 5505 from the Centre National de la Recherche Scientifique (CNRS).

My office holds at ENSEEIHT (Ecole Nationnale Supérieure d’ Electrotechnique, d’Electronique, d’Informatique, d’Hydrolique et des Télécommunications).

[RSA]

Institutes

_images/acadie.png _images/irit.png _images/cnrs.png _images/n7.png _images/inpt.png _images/univt.png

Research activities

  • Thesis interests

    • Verification of automatic code generation for critical systems
    • Formal specification of dataflow languages
    • Application of formal methods in critical systems develoment processes
  • Publications

Projects

International collaborations

  • Temesghen Kahsai, Arnaud Venet, Carnegie Mellon University Sillicon Valley / NASA Ames, Mountain View, USA
  • Eric Féron, Romain Jobredeaux, Timothy Wang, Georgia Institute of Technology, Atlanta, USA
  • Andres Toom, IB Krates/Cybernetics Institute, Tallinn Technical University, Estonia

Teaching activities

  • ENSEEIHT (Ecole Nationnale Supérieure d’Electrotechnique, d’Electronique, d’Informatique, d’Hydrolique et des Télécommunications)

    • 2011 - 2012

    Semantics and Compilation (2nd year students)

    Android development (3rd year students)

    Concurent systems (2nd year students)

    • 2012 - 2013 :

    Model driven engineering: Model transformations (Eclipse EMF based) meta-modeling (2nd and 3rd year students)

    Concurent systems (2nd year students)

    Android development (3rd year students)

    Operating systems technologies: C, Unix (1st year students)

    • 2013 - 2014 :

    Model driven engineering: Model transformations (Eclipse EMF based) meta-modeling (2nd year students)

    Android development (3rd year students)

  • INSAT (Institut National des Sciences Appliquées de Toulouse)

    • 2011 - 2014 :

    Model driven engineering: Model transformations (Eclipse EMF based) meta-modeling (5th year students)

Documents

  • Here is my CV in pdf format

Contact

Arnaud Dieumegard
IRIT-ENSEEIHT
Bureau F-304
2 rue Charles Camichel
31000 Toulouse, France
arnaud dot dieumegard at enseeiht dot fr
Office: (+33) 5.34.32.21.64
Cellphone: (+33) 6.28.23.75.16

Access plan

_images/n7map.png