Menu

Nicolas PALIX

GRENOBLE

Electionseuropéennes 2024

RETROUVEZ GRATUITEMENTLe résultat des européennes à Grenoble ainsi que le résultat des européennes dans l'Isère.

En résumé

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.

Mes compétences :
Réseaux

Entreprises

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

    2012 - maintenant

  • CEA Leti - Ingénieur - Chercheur

    2011 - 2012

  • Université Joseph Fourier (Grenoble I) - Attaché temporaire d'enseignement et de recherche

    2010 - 2011 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

  • DIKU - Université de Copenhague - Post-doctorant

    2008 - 2010 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.

  • Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications - Vacataire

    Talence 2005 - 2008 Cours sur le développement de services de téléphonie IP en SIP au département Télécommunications

  • INRIA Bordeaux - Sud-Ouest - Doctorant

    Le Chesnay 2004 - 2008 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)

  • INRIA Rhône-Alpes - Projet de master

    Le Chesnay 2004 - 2004 Conception et réalisation d'un traducteur de programmes en SystemC vers un système de vérification formel.
    (SystemC, Pinapa, C++)

  • ESISAR / SVD (View On) - Élève ingénieur

    2003 - 2003 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

Formations

Réseau

Annuaire des membres :