Nicolas Palix

Nicolas Palix

Post-doc @ DIKU
-

Copenhagen

,

Denmark

nico.palix.info
 
Contact directly

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.

I'm open to job opportunities

RESUME

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

Experiences
  • DIKU : 10/2008 - Present
    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
Education
  • 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

ADDITIONAL INFO

  • 4 501 pages views
  • Member since : 24 months
  • Last login : 4 weeks