peoplePeople 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


    
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

Back to the top

Powered by Savane 3.13-d3ae.
Corresponding source code