People at Savannah: Jérôme Rocheteau Resume & Skills

Site Wide

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

Resume

2003   In charge of studies at the french institute for transport and saftey research
   * Design and realization of an automatic prover for the B method's formalism


2002   Advanced Graduate Degree in Logic and theoretical computer science at the university of Paris 7
    * First order logic by René Cori
    * Ocaml programming language by Pascal Manoury and Emmanuel Chailloux
    * Model theory and set theory by Jean-Louis Krivine
    * Recursive functions and Gödel's incompleteness theorems by Richard Lassaigne
    * Proof theory by Jacqueline Vauzeilles, Patrick Baillot and Christophe Fouqueré
    * Lambda calculus by Chantal Berline

Rewriting theory by Paul-André Melliès

2001   Bachelor of Science in Computer Science at the university of Nantes
    * Structure of the computers by Michel Allemand
    * Logic and theoretical computer science by Alexandre Dikovsky


2000   Master of Arts in Philosophy at the university of Nantes
    * Modal logic by Patrice Bailhache and François Schmitz
    * Propositional and predicate calculi by Patrice Bailhache and François Schmitz
    * Arithmetic by Marco Panza
    * C programming language by Patrice Bailhache

Skills

Skill	Level	Experience
Objective Caml	Base Knowledge	6 Mo - 2 yr
GNU/Linux	Base Knowledge	2 yr - 5 yr
C	Base Knowledge	2 yr - 5 yr
LaTeX	Good Knowledge	2 yr - 5 yr