Nicolas Palix

Nicolas Palix

Maître de conférences, Université Joseph Fourier (Grenoble I)

Grenoble, France

Bienvenue sur l'aperçu du profil de Nicolas Palix

Devenez membre pour voir son profil complet et vous aussi, donnez un coup de pouce à votre carrière

Son parcours

  • Aujourd'hui
    2017
    Septembre 2012

    Maître de conférences

    Université Joseph Fourier (Grenoble I)

  • Aujourd'hui
    Août 2012
    2011

    Ingénieur - Chercheur

    CEA Leti

  • Aujourd'hui
    2011
    2010

    Attaché temporaire d'enseignement et de recherche

    Université Joseph Fourier (Grenoble I)

    Enseignements:
    Cours: algorithmique, conception de systèmes ubiquitaires, réseaux haut débit

    Travaux pratiques: algorithmique, Internet des objets, réseaux (OSPF, BGP, ARP, TCP/IP, RIP), bases de données (Oracle, MS Access)

    Projets innovants:
    http://air.imag.fr/mediawiki/index.php/Projets_2010-2011
  • Aujourd'hui
    2010
    2008

    Post-doctorant

    DIKU - Université de Copenhague

    Coccinelle: Outil de transformation de programmes C (source à source) permettant la recherche et correction de fautes logicielles et la mise à jour de code.
    (Ocaml, C, SmPL, Python, Linux, Wine, VLC, OpenSSL)

    Herodotos: Outil de corrélation de motifs de code entre différentes versions d'un logiciel. Il a notamment été utilisé pour comparer la qualité de Linux, Wine, VLC, OpenSSL sur plus de 3 ans. Il a également servi à étudier plus de 40 000 rapports de fautes dans 34 versions de Linux 2.6, soit un peu plus de 6 ans.
    (Ocaml, SmPL, C, Python, Bash, PostgreSQL)

    Dans le cadre de mes activités de recherche, j'ai également contribué au noyau Linux en soumettant plusieurs correctifs qui ont été intégré. J'ai également intégré l'utilisation de Coccinelle dans le processus de développement de Linux.
  • Aujourd'hui
    2008
    2005
    Cours sur le développement de services de téléphonie IP en SIP au département Télécommunications
  • Aujourd'hui
    2008
    2004

    Doctorant

    INRIA Bordeaux - Sud-Ouest

    SPL - Session Processing Langage
    Un langage dédié pour les services de téléphonie IP sur SIP
    (OCaml, Java, SIP, OpenSER, Asterisk)

    DiaGen (désormais intégré à DiaSuite)
    Un langage d'architecture dédié aux systèmes ubiquitaires et son
    générateur d'intergiciels distribués.
    (Java, RMI, SIP)

    Pantaxou
    Un langage dédié pour les services dans les systèmes ubiquitaires
    (OCaml, Java, WS, OWL, OSGI)
  • Université Bordeaux 1 Sciences et Technologies

    Informatique
  • Aujourd'hui
    2004

    Projet de master

    INRIA Rhône-Alpes

    Conception et réalisation d'un traducteur de programmes en SystemC vers un système de vérification formel.
    (SystemC, Pinapa, C++)
  • Université Grenoble 1 Joseph Fourier

    Systèmes et Logiciels
  • Ecole Supérieure d'Ingénieurs En Systèmes Industriels Avancés

    Informatique et réseaux
  • Informatique et réseaux
  • Aujourd'hui
    2003

    Élève ingénieur

    ESISAR / SVD (View On)

    Conception et programmation d'un système embarqué d'annonces vocales multilingues
    (Conception du circuit numérique, programmation du micro-contrôleur Atmel AVR)

    http://projet-industriel.esisar.inpg.fr/resumes_projets/projet_0203_15.htm
  • Lycée Vincent d'Indy

    Baccalauréat scientifique

Inscrivez-vous pour consulter le profil complet de Nicolas Palix

S'INSCRIRE

Ses compétences

  • Réseaux

Ses centres d'intérêt

Randonnée pédestre natation ski informatique

Sa présentation

Durant ma thèse, j'ai travaillé dans les domaines de la téléphonie IP et des systèmes ubiquitaires. J'ai notamment développé à cette occasion des compétences sur le protocole SIP et sur les langages dédiés (Domain-Specific Languages - DSL).

J'ai ensuite travaillé sur les projets Coccinelle et Herodotos. Coccinelle est un outil qui permet de rechercher et corriger des fautes logiciels dans les programmes écrits en C. Il peut également être utilisé pour réaliser des évolutions collatérales. Herodotos exploite les fonctionnalités de recherche de fautes fournies par Coccinelle puis reconstruit de manière automatisée l'historique des fautes dans les logiciels. Grâce à ces outils, j'ai étudié plus de 40 000 fautes dans 34 versions de Linux 2.6. Herodotos permet également de comparer la qualité de différents logiciels. J'ai en l'occurrence comparé Linux, Wine, VLC, et OpenSSL.

Son activité sur Viadeo

Ceux qui ont consulté ce profil ont aussi vu :