who.am.I
- name:
- Christophe Joubert
- age:
- 25
- position:
- 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
- hobbies:
- reading, scuba diving, swimming, snowboarding, rollerskating, travelling, and much more !
- tel:
- + 33 4 76 61 54 71
- fax:
- + 33 4 76 61 52 52
- address:
- INRIA Rhône-Alpes / VASY
- 655, av. de l'Europe
- 38330 Montbonnot Saint Martin, France
- short resume:
-
March 10, 2005
news
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:
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.
links
google.com and scholar.google.com - 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
