====== Resume ====== [in construction] PDF version : {{public:cv_hodique.pdf|}} ===== General Information ===== ===== Main Interests ===== * formal proof, verification * compilation * high level language concepts ===== Education ===== ^2003-now |Doctorat (PhD thesis) in computer Science -- USTL Lille 1. | ^2002-2003 |DEA (Master thesis) in Computer Science -- [[http://www.univ-rennes1.fr |University of Rennes 1]]. | ^2001-2002 |Maîtrise (between Bachelor's and Master's degree) in Computer Science -- USTL Lille 1. --- Succeeded 3rd year entry exam at ENS Cachan ([[http://www.bretagne.ens-cachan.fr|antenne de Bretagne]]). | ^2000-2001 |Maîtrise (between Bachelor's and Master's degree) in Pure Mathematics -- USTL Lille 1. --- Licence (Bachelor's degree) in Computer Science -- USTL Lille 1. | ^1999-2000 |Licence (Bachelor's degree) in Pure Mathematics -- USTL Lille 1. | ^1997-1999 |DEUG MIAS -- USTL Lille 1. | ^1997-1998 |Gold medal in musical education -- E.N.M.D. Boulogne-sur-Mer. | ^1996-1997 |Baccalauréat (A level) S (Mathematics) -- Lycée A. Mariette. | ===== Work experience ===== ===== Publications ===== ===== Projects ===== ==== Trac-Bzr ==== ^Language | Python | ^Goal | learn python, bzr and trac internals | ==== (osd) ==== ^Language | C, Scheme | ^Goal | learn how to provide bindings for a library, deal with garbage collection, interfaces adaptations, concept mappings | ==== Octopus ==== ^Language | C++ | ^Goal | learn how to program a network application, designing plugins interfaces, create a non-graphic Qt (no dependency to X11) before Trolltech published separated libraries | ==== QNet ==== ^Language | C++, Scheme | ^Goal | learn graphical interface with Qt, extensive use of regular expressions, extensibility through an embedded lisp interpreter, use of Swig | ==== KDevelop ==== ^Language | C++ | ^Goal | learn C++ and kdelibs while improving an interesting tool | ==== Planner/Muse ==== ^Language | Emacs Lisp | ^Goal | help providing an organizer/publisher for Emacs |