LIPN : LCR

Page personnelle de Naïm ABER

Naïm ABER Laboratoire d'Informatique de Paris-Nord UMR CNRS 7030 Institut Galilée - Université Paris-Nord 99, avenue Jean-Baptiste Clément 93430 Villetaneuse France Bureau : B301 Tél : +33 1 49 40 38 94 Fax : +33 1 48 26 07 12 Courriel : naim.aber at lipn.univ-paris13.fr

Ma formation

Je suis actuellement en thèse au sein de l'équipe LCR du LIPN ; mon sujet de thèse porte sur la la vérification de systèmes temporisés, sous la direction de Laure Petrucci et Kais Klai.

• Octobre 2009-octobre 2012 : allocataire de recherche/moniteur à l'université de Paris-Nord
• Avril-septembre 2009 : stage de recherche au LIPN (Paris 13), sous la direction de Kais Klai et Micaela Mayero.
• Octobre 2008-septembre 2009 : Master 2 (COSY: des COncepts aux SYstèmes) à l'université de Versailles-Saint-Quantin-En-Yvelines
• 2008 : Ingéniorat en informatique de l'université de Bejaia

Articles & Exposés

• Mon mémoire de Master 2 : Vérification du protocole Stop-And-Wait : Combiner Model-Checking et Preuve de théorèmes [.pdf]

  ---

  Enseignements

  2011-2012:
  • TD architecture des ordinateurs (IUT INFO Paris 13 ).
  • TP Système (IUT INFO Paris 13).
    • Corrigés du TP1 : Corrigés du TP1 [.txt]
    • Corrigés du TP2 : Corrigés du TP2 [.txt]
    • Corrigés du TP3 : Corrigés du TP3 [.txt]

      ---

      2010-2011:
      • TD Génie logiciel (IUT INFO Paris 13 ).
      • TP Système2 (IUT INFO Paris 13).

      ---

      Hobbies

      • Sport (Football)
      • Cinéma

      ---

      Dernière modification : mardi 04 janvier 2011

      Contact pour cette page : naim.aber at lipn.univ-paris13.fr