Nicolas Palix

Nicolas Palix

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

En poste chez Université Joseph Fourier (Grenoble I)

Précédents : CEA Leti, Université Joseph Fourier (Grenoble I), DIKU - Université de Copenhague, Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications, INRIA Bordeaux - Sud-Ouest, INRIA Rhône-Alpes, ESISAR / SVD (View On)

 

Précédents : Université Bordeaux 1 Sciences Et Technologies, Université Grenoble 1 Joseph Fourier, Ecole Supérieure D'Ingénieurs En Systèmes Industriels Avancés, Lycée Vincent D'Indy

 

    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.

Parcours

 

Maître de conférences

Chez Université Joseph Fourier (Grenoble I)

De septembre 2012 à aujourd'hui
 

Ingénieur - Chercheur

Chez CEA Leti

De 2011 à août 2012
 

Attaché temporaire d'enseignement et de recherche

Chez Université Joseph Fourier (Grenoble I)

De 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 ...
Lire la suite
 

Post-doctorant

Chez DIKU - Université de Copenhague

De 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 ...
Lire la suite
 

Doctorant

Chez INRIA Bordeaux - Sud-Ouest

De 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, ...
Lire la suite
 

Projet de master

Chez INRIA Rhône-Alpes

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

Élève ingénieur

Chez ESISAR / SVD (View On)

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

Compétences

 
  • Réseaux

Centres d'intérêt

 
  • Randonnée pédestre
  • informatique
  • natation
  • ski