Nicolas Palix

Nicolas Palix

Post-doc @ DIKU
-

Copenhagen

,

Danemark

nico.palix.info
 
Contacter

I'm currently a post-doc fellow in the Topps group at DIKU, Copenhagen University, working on the Coccinelle tool. This tool could be used for various tasks ranging from software evolution to bug finding and bug fixing to regression tests.

 

During my PhD in the Phoenix group, i designed and developed SPL, short for Session Processing Language, a domain-specific programming language to develop IP telephony services. I then generalized my approach to the development of coordination services, mainly targeting the context of ubiquitous computing.This process leads to the conception of DiaGen and Pantaxou, respectively a framework generator and a DSL.

 

I'm interested in the following research area : IP telephony, Domain Specific Languages (DSL), frameworks and middlewares, temporal logic, program transformations, bug finding.

Je suis ouvert aux opportunités de carrière

MON PARCOURS

During my PhD, I worked on the SIP protocol, IP telephony, ubiquitous computing, and Domain-Specific Languages (DSL).
I'm now working on Coccinelle, a software which enables bug finding and software evolution thanks to source-to-source program transformations and analysis.

Specialties
networks, distributed system, programming languages, semantics

Expériences
  • DIKU : 10/2008 - Aujourd'hui
    Post-doc
  • INRIA Bordeaux - Sud-Ouest : 10/2004 - 07/2008
    PhD student
    http://phoenix.labri.fr/people/palix/index.html
  • INRIA Grenoble - Rhône-Alpes : 03/2004 - 08/2004
    Master student
    http://www.inrialpes.fr/pop-art/people/palix/
  • SVD : 01/2003 - 08/2003
    Engineering intern
    Multilingual announcement system based on text-to-speech
    http://www.esisar.inpg.fr/pages/resumes_projets/projet_0203_15.htm
Formation
  • Université Bordeaux I : 01/2004 - 12/2008
    PhD, Computer scienceTalence (33)
    INRIA Bordeaux - Aquitaine
  • Université Joseph Fourier (Grenoble I) : 01/2003 - 12/2004
    Master, Computer science and mathematicsGrenoble (38) - FRANCE
    INRIA Grenoble - Rhône-Alpes
  • INPG - ESISAR : 01/1999 - 12/2004
    Engineer, Computer science and networking
Nicolas Palix

INFORMATION COMPLÉMENTAIRE

  • 4 485 pages vues
  • Membre depuis : 24 mois
  • Dernière connexion : 3 semaines