About me

Photo


I am first years Master R&I in Computeur Sciences from École Normale Supérieur de Rennes associated with the University Rennes 1. You can find my Curriculum Vitae here and a short description of my studies in ENS Rennes.

Contact

E-mail: corentin[dot]hardy[at]ens-rennes[dot]fr

CV

Education

  • 2013-present: Research Masters Degree in Department of Computer Science and Telecommunications of École Normale Supérieure de Rennes in collaboration with University Rennes 1.
  • 2012-2013: Bachalor degree in Department of Computer Science of École Normale Supérieure de Rennes in collaboration with University Rennes 1.
  • 2010-2012: First and Second year of the Bachelor in University Rennes 1, Rennes
  • 2010: A levels obtained in Science, Lycée Beaumont, Redon

Internship experience

  • May-August 2013: Reseach internship, LAGADIC team (INRIA Rennes), supervised by Éric Marchand. My goal was to implement the KLT algorithm in one dimension to develop a C++ application
  • May-July 2012: internship, R&I Labs Technicolor, supervised by Claire-Hélène Demarty.

Languages

  • English: Fluent both oral and writing
  • French: Mother tongue
  • Spanish: Basic

Other

  • Programming languages: C/C++, Java, Ocaml, Python
  • Education - ENS

    2013/2014

    1st Semester
    • BIF - Bioinformatics.

    • TS - Signal processing.

    • COMP - Compilation.

    • SGP - Operating systems and process management.

    • ACF - Software formal analysis and design.

    • CVFP - Modal logics.

    • ELEC - Antennas.

    • PROJ - Research project on a Scilab compiler for embedded

    2012/2013

    1st Semester
    • Prog1 - Introduction to programming.

    • Algo1 - Algorithms.

    • LF - Formal Languages.

    • ArcSys1 - Architecture and operating systems.

    • ELMG - Electromagnetism and optics.

    • English.

    2nd Semester
    • Prog2 - Advanced programming.

    • Algo2 - Advanced algorithms.

    • LC - Logic and computability.

    • IMA - Image analysis.

    • ArcSys2 - Architecture and operating systems.

    • MATH2 - Probability theory and statistics.

    • XTRA - Introduction to research.

    • English.