The new address of Christophe Joubert's home page is:

C hristophe Joubert's Homepage

Christophe Joubert
I'm a Ph.D. student at INRIA Rhône-Alpes research unit (The French National Institute for Research in Computer Science and Control). I work on parallel approaches for formal verification with Hubert Garavel and Radu Mateescu part of the VASY (Validation of Systems) project.
I'm also member of:
SENVA, joint research team (INRIA,CWI)
FMICS, working group on Formal Methods for Industrial Critical Systems (ERCIM)
A-INPG, association of INPG doctors
reading, scuba diving, swimming, snowboarding, rollerskating, travelling, and much more !
+ 33 4 76 61 54 71
+ 33 4 76 61 52 52
INRIA Rhône-Alpes / VASY
655, av. de l'Europe
38330 Montbonnot Saint Martin, France
web: Christophe.Joubert/
short resume:
Joubert-CV-eng-05.pdfMarch 10, 2005


Lavoisier laureate !

Mon Jan 2 @ 11:08 am

I've been awarded a one-year Lavoisier grant from the French Ministry of Foreign Affairs, to realize a research stay in the formal methods team (GISUM) of the University of Málaga.

I did it !

Mon Dec 12 @ 18:33 am

After three years of intensive work, I defended my Ph.D. thesis and finaly got the Doctor diploma in Computer Science from the Grenoble Institute of Technology (INPG) ! (french) manuscript and (english and french) presentation files are available !

TACAS'2005 article online

Wed Apr 27 @ 10:49 am

BibTeX reference for Bergamini - et - al - TACAS - 05 - a has been updated with online paper. You can access our article through TACAS'2005 LNCS webpage.

PDP'2005 article online

Wed Apr 13 @ 09:18 am

BibTeX reference for Joubert - Mateescu - PDP - 05 has been updated with online paper. You can access our article through PDP'2005 IEEE webpage.

PDMC'2004 article online

Mon Apr 11 @ 12:55 am

BibTeX reference for Joubert - Mateescu - PDMC - 04 has been updated with volume and issue numbers. You can access our article through PDMC'2004 ENTCS webpage.

Full accessibility web site

Fri Mar 23 @ 10:16 am

Besides W3C validation tools, there exists a set of applications doing specific validation of web site source code (hence doing cross-validation). The accessibility validator is one of them: validateur

Antispam email address

Wed Mar 21 @ 15:08 am

When building a web page, everyone is confronted to display public information, especially public contact information. In order to prevent spam robots to scan your contact information, there is a simple solution called Automatic Email Munger.

Translation into 5 languages

Wed Mar 21 @ 11:08 am

Thanks to Google, you can access to these webpages in 5 languages besides English. Just click on your favorite flag :

French flag
Spanish flag
German flag
Italian flag
German flag

links and - great search engines

Research Index - a search engine for computer science articles

DBLP - computer science bibliography

La Guilde - french guide for Ph.D. student

CNU - Section 27 - CNU site of section 27

SPECIF - french computer science research society

ERCIM and FMICS - European Research Consortium for Informatics and Mathematics, and the working group on Formal Methods for Industrial Critical Systems

Valid XHTML 1.0!

Last modification : 05/04/27 15:32:46

Valid CSS!