C hristophe Joubert's Homepage

name:

Christophe Joubert

age:

26

position:

 

I'm a Research Assistant at the Department of Computer Science (LCC) of the University of Málaga (UMA), part of the Formal Methods and Software Engineering (FMSE) project in the GISUM group, working with Pedro Merino and María del Mar Gallardo.

---

formerly:

 

I used to be a Ph.D. student at INRIA Rhône-Alpes research unit (The French National Institute for Research in Computer Science and Control) under the supervision of Hubert Garavel and Radu Mateescu part of the VASY (Validation of Systems) project.

---

membership:

 

- Scientific committee member of the International Science and Technology Conference (JICT), Málaga 21-23 March 2007

---

- European Association of Software Science and Technology (EASST)

---

- ERCIM working group on Formal Methods for Industrial Critical Systems (FMICS)

---

- Spanish Research Consortium for Informatics and Mathematics (SpaRCIM)

---

- jETI (Potsdam) / FMSE (UMA), working group on Electronic Tool Integration Platform

---

- A-INPG, association of doctors and engineers from the Grenoble Institute of Technology (INPG)

---

hobbies:

reading, scuba diving, swimming, mountain biking, travelling, and much more !

tel:

+ 34 952 13 71 99

fax:

+ 34 952 13 13 97

email:

joubert@lcc.uma.es

address:

University of Málaga

Campus de Teatinos s/n,

29071 Málaga, Spain

website:

www.lcc.uma.es/~joubert/Christophe_Joubert.html

long resume:

 

Joubert-CV-06.pdf (October 30, 2006)

---

COCV'2007 article online

Fri Feb 02 @ 17:14

BibTeX reference for Gallardo - Joubert - Merino - COCV - 07 has been updated with online paper.

---

C.OPEN and ANNOTATOR webpages

Sun Jan 28 @ 17:14

Official webpages for C.OPEN and ANNOTATOR tools now online:

http://www.lcc.uma.es/gisum/tools/smc/

---

Juan de la Cierva laureate !

Mon Nov 13 @ 17:01

I've been awarded a three-year Juan de la Cierva grant from the Spanish Ministry of Education and Sciences, to realize a research project in the formal methods team of the ELP group at the Technical University of Valencia.

---

New tool ! ANNOTATOR now online.

Tue Nov 7 @ 16:03

ANNOTATOR is a modular tool for on-the-fly static analysis of abstracted control flow graphs.

---

ISOLA'2006 article online

Sat Nov 18 @ 17:00

BibTeX reference for Gallardo - Joubert - Merino - ISOLA - 06 has been updated with online paper and technical report from the University of Málaga.

---

TACAS'2006 article online

Thu Mar 30 @ 11:00

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

---

SPIN'2006 article online

Fri Mar 31 @ 16:00

BibTeX reference for Joubert - Mateescu - SPIN - 06 has been updated with online paper. You can access our article through SPIN'2006 LNCS webpage.

---

Lavoisier laureate !

Mon Jan 2 @ 11:08

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

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 !