C hristophe Joubert's Homepage

name:

Christophe Joubert

age:

29

position:

 

I'm a Research Associate in the Department of Computer Science (DSIC) at the Technical University of Valencia, Spain (UPV) (Video tours: Polytechnic City of Innovation and Research, UPV, ETSIA, Valencia region, Valencia city). I'm also part of the ELP team, leaded by María Alpuente.

---

formerly:

 

From January 2006 to January 2007 I had a post-doctoral fellowship in the Department of Computer Science (LCC) at the University of Málaga, Spain (UMA), part of the Formal Methods and Software Engineering (FMSE) project in the GISUM group.

---

I have been employed as a part-time assistant professor (ATER) from September to December 2005 in the Department of Computer Science (UFRIMA) at the University Joseph Fourier - Grenoble 1, France (UJF).

---

I also used to be a Ph.D. student from October 2002 to December 2005 at INRIA Rhône-Alpes, France research unit (The French National Institute for Research in Computer Science and Control) part of the Validation of Systems (VASY) project.

---

From June to September 2002, I was a member of the Formal Methods and Tools (FMT) research group part of the Computer Science Department at the University of Twente, The Netherlands.

---

In 2001, during my stay at the University of California, Santa Barbara, USA (UCSB), I used to be a member of the Verification Laboratory (VLab) part of the Department of Computer Science.

---

membership:

 

- 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) / ELP (UPV), working group on Electronic Tool Integration Platform

---

- International correspondent at A-INPG, association of doctors and engineers from the Grenoble Institute of Technology (INPG), and RPG, Réseau Polytechnique de Grenoble

---

hobbies:

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

tel:

+ 34 963 87 70 07 + 83516

fax:

+ 34 963 87 73 59

email:

joubert@dsic.upv.es

address:

Technical University of Valencia / DSIC

Camino de Vera s/n,

46022 Valencia, Spain

website:

www.dsic.upv.es/~joubert/Christophe_Joubert.html

long resume:

 

Joubert-CV-07.pdf (July 24, 2007)

---

DATALOG 2.0 invited talk

Fri Feb 26 @ 14:31 2010

Invited talk at the DATALOG 2.0 workshop, Magdalen College, Oxford, England, on Friday March 19th, 2010. Datalog 2.0 is a workshop for Datalog pioneers, implementors, and current practitioners; with the aim of bringing everyone up-to-date and mapping out directions for the future. The post-workshop proceedings will be published by Springer as a state of the art survey.

---

ITIL v3 Foundation certificate

Fri Feb 13 @ 14:02 2010

Certified for the ITIL v3 Foundation level. ITIL (Information Technology Infrastructure Library) is the most widely accepted approach to IT service management in the world. ITIL provides a cohesive set of best practice, drawn from the public and private sectors internationally.

---

FMICS'2010 program committee

Mon Feb 08 @ 09:45 2010

Member of the program committee of the 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009), to be held at the Universiteit Antwerpen of Antwerp (Belgium), on September 20-21, 2010.

---

ERCIM NEWS No. 80 online

Wed Jan 27 @ 09:40 2010

Co-editor of ERCIM News No. 80. This issue covers a special theme on "Digital Preservation" coordinated by Ingeborg Solvberg and Andreas Rauber, and features a keynote by Pat Manson.

---

National certification by MESR

Thu 21 Jan @ 12:56 2010

Positive evaluation by the French Ministry of Education and Research (MESR) for computer science permanent assistant professor positions (Maître de Conférences) in French universities.

---

Positive evaluation by ANECA

Thu 14 @ 13:25 2010

Positive evaluation by the Spanish Agency for Quality Assessment and Accreditation (ANECA) for computer science assistant professor positions (Profesor Ayudante Doctor) in Spanish universities.

---

LOPSTR'2009 selected paper

Tue Jan 05 @ 11:39 2010

BibTeX reference for Alpuente - Feliu - Joubert - Villanueva - LNCS - 10 has been updated with online link to selected paper.

---

PROLE'2008 selected paper

Mon Nov 23 @ 10:40 2009

BibTeX reference for Alpuente - Feliu - Joubert - Villanueva - ENTCS - 09 has been updated with online link to selected paper.

---

DSIC'2009 Technical Report

Fri Nov 20 @ 09:59 2009

BibTeX reference for Alpuente - Feliu - Joubert - Villanueva - DSIC - 09 has been updated with online paper.

---

FMICS'2009 LNCS proceedings online

Tue Nov 17 @ 17:16 2009

BibTeX reference for Alpuente - Cook - Joubert - FMICS - 09 has been updated with online link to the proceedings.

---

University Senate Member

Tue Nov 10 @ 18:39 2009

Representative of the UPV research assistants and staff members at the University Senate ("Claustro Universitario"), the highest representative body of the university UPV community.

---

ERCIM NEWS No. 79 online

Mon Oct 26 @ 08:39 2009

Co-editor of ERCIM News No. 79. This issue covers a special theme on "Towards Green ICT" coordinated by Laurent Lefèvre and Jean-Marc Pierson, and features a keynote by Mazin Yousif.

---