peoplePeople at Gna!: Jérôme Rocheteau Resume & Skills

Site Wide
 
 
Show feedback again

Follows Resume & Skills of Jérôme Rocheteau <rocheteau>.

Resume

2007 PhD in Computer Science at the University of Technology of Compiègne. Circuit fault formalization in order to verify circuit formal safety properties.

2003 Research intern. INRETS Villeneuve d'Ascq. Design and Realization of an automatic theorem prover for the B method based on the PhoX proof assistant.

2002 Advanced Graduate Degree in mathematical logic and theoretical computer science, university of Paris 7. Simulation theorems between calculi with control operators.

2001 Bachelor of Science in Computer Science, university of Nantes.

2000 Master of Arts in Philosophy, university of Nantes. Paradox dilemma: ontology vs logic.

Skills

Skill Level Experience
XML Base Knowledge 2 yr - 5 yr
GNU/Linux Good Knowledge 5 yr - 10 yr
LaTeX Good Knowledge 5 yr - 10 yr
Objective Caml Good Knowledge 5 yr - 10 yr
Show feedback again

Back to the top


Powered by Savane 3.1-cleanup