CV

General Information

Full Name Pierre LERMUSIAUX
Date of Birth 21st October 1992
Languages French (native), English (fluent), Spanish (academic level)

Education

  • 2022
    PhD in Computer Science
    Université de Lorraine, Nancy, France
    • Static analysis of pattern-eliminating transformations
  • 2015
    Parisian Master of Research in Computer Science
    Université Paris-Diderot, Paris, France
  • 2015
    Engineering Degree
    École des Mines de Nancy, Université de Lorraine, Nancy, France
    • Specialization in Computer Science and Information Systems

Experience

  • 2022 - present
    Research Engineer
    Inria, Rennes, France
    • Conception and development of a static analyser for OCaml programs based on abstract interpretation techniques
  • 2017 - 2022
    PhD Student
    Université de Lorraine, Nancy, France
    • Study of static analysis methods for program transformations using a formalism based on rewriting and pattern-matching
  • 2016 - 2017
    C++ Software Development Engineer
    Amadeus, Antwerp, Belgium
    • Long term consulting assignment from Adneom
    • Software development of mid-office systems
  • 2015 - 2017
    Software Development Engineer Consultant
    Adneom, Bruxelles, Belgium
  • 2015
    Research Assistant Intern
    Carnegie-Mellon University, Pittsburgh, USA
    • Conception and development of data-structure and algorithm for parallel programming using the PASL library
  • 2014
    Research Assistant Intern
    LORIA, Nancy, France
    • Conception and development of test generation solutions

Skills

Programming language skills

★★★: C++, Java, OCaml, Haskell

★★: Python, SQL, HTML/CSS, Latex

★: ML, Coq, Javascript, PHP
Office software applications Word, Excel, Powerpoint

Interests

Sports Badminton, Scuba-diving, Hiking
Travels Brazil, Mexico, Kenya, Madagascar, South-Africa, United Kingdom, Spain, Belgium, Egypt, Maldives, Galapagos
Music Piano