Skip to content

Commit

Permalink
Deploying to gh-pages from @ 80a36b7 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
@start974
start974 committed Nov 18, 2024
1 parent 82a5b15 commit a06bfed
Show file tree
Hide file tree
Showing 2 changed files with 130 additions and 218 deletions.
156 changes: 56 additions & 100 deletions en/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -66,7 +66,7 @@ <h1 class="title">Jérémy Damour</h1>
<div class="contact-item">
<i data-feather="phone"></i>
<a href="tel:">
06 40 87 81 75
(+33) 06 40 87 81 75
</a>
</div>

Expand Down Expand Up @@ -122,21 +122,17 @@ <h1 class="title">Jérémy Damour</h1>
<section class="skills">


<div class="title">Programming language</div>
<div class="title">Programming languages</div>

<div class="skill">Coq</div>

<div class="skill">Why3</div>

<div class="skill">Rust</div>

<div class="skill">OCaml</div>

<div class="skill">Haskell</div>

<div class="skill">C</div>
<div class="skill">Rust</div>

<div class="skill">C++</div>
<div class="skill">C / C++</div>

<div class="skill">JAVA</div>

Expand Down Expand Up @@ -191,13 +187,14 @@ <h2 class="title">Experience</h2>


<div class="experience-item">
<div class="role"> PHD on the formalization of a memory model for the C language. </div>
<div class="role"> PhD thesis on the formalization of a memory model for the C language. </div>
<div class="company">
<a href=https://list.cea.fr/fr/ class="company">
CEA-LIST
</a>
<span class="time">
Nov 2023 - Nov 2026
Nov 2023 -
Nov 2026
</span>
</div>
<div class="details"> Deductive verification in Hoare logic for programs manipulating pointers
Expand All @@ -215,7 +212,7 @@ <h2 class="title">Experience</h2>
</div>

<p class="technologies">
Technologis used: Coq, C, Ocaml, Frama-C WP.
Technologies used: Coq, C, Ocaml, Frama-C WP.
</p>

</div>
Expand All @@ -232,26 +229,27 @@ <h2 class="title">Experience</h2>
MathWorks
</a>
<span class="time">
Mar 2023 - Aug 2023
Mar 2023 -
Aug 2023
</span>
</div>
<div class="details"> Development of
<a href=http://www.mathworks.com/products/polyspace/index.html>Polyspace</a>,
a static analysis tool developed and commercialized by
<a heref=https://mathworks.com>Mathworks</a>.
<a href=https://mathworks.com>Mathworks</a>.
It uses formal methods, more specifically abstract interpretation,
to mathematically prove the absence of a large cathegory of
runtime errors in C, C++ and Ada programs.
Polyspace comes with several products including Code Prover,
which aims to prove the absence of runtime errors
and Bug Finder, which aims ft finding some bugs.
The goal of this internship is to conceive and prototype a methodology
and Bug Finder, which aims to finding some bugs.
The goal of this internship was to conceive and prototype a methodology
to merge abstract interpretation and model checking techniques
within the industrial static analyzer Polyspace.
</div>

<p class="technologies">
Technologis used: Ocaml, SML, C, C++, Polyspace.
Technologies used: Ocaml, SML, C, C++, Polyspace.
</p>

</div>
Expand All @@ -268,7 +266,8 @@ <h2 class="title">Experience</h2>
CEA-LIST
</a>
<span class="time">
Mar 2022 - Aug 2022
Mar 2022 -
Aug 2022
</span>
</div>
<div class="details"> CEA LIST develops <a href=http://frama-c.com>Frama-C</a>,
Expand All @@ -277,17 +276,17 @@ <h2 class="title">Experience</h2>
One of the plugins provided by Frama-C is E-ACSL,
it allows to do runtime assertion checking.
The goal of the internship was to extend the class of expressible
annotations of the E-ACSL to include logical functions and predicates.
These functions and predicates are inductive or axiomatic relations,
which express formal specifications that are not directly executable.
In order to develop a tool for converting these
functions to explicit functions(directly executable).
annotations of E-ACSL to include logical functions and predicates.
Which are inductive or axiomatic relations,
expressing formal specifications that are not directly executable.
The topic of the internship was to develop a tool for converting these
functions to explicit functions (directly executable).
<br>
<a href=/cv/documents/stage_FRAMA_C_2022.pdf>Internship report</a>
</div>

<p class="technologies">
Technologis used: Ocaml, C, Frama-C.
Technologies used: Ocaml, C, Frama-C.
</p>

</div>
Expand All @@ -299,31 +298,13 @@ <h2 class="title">Experience</h2>

<div class="experience-item">
<div class="role"> Research internship, formal proof </div>
<div class="company">
<a href= class="company">

</a>
<span class="time">
-
</span>
</div>
<div class="details"> </div>

</div>






<div class="experience-item">
<div class="role"> </div>
<div class="company">
<a href=https://www.irif.fr/ class="company">
IRIF
</a>
<span class="time">
Jun 2021 - Jul 2021
Jun 2021 -
Jul 2021
</span>
</div>
<div class="details"> Participation in the development of
Expand All @@ -334,14 +315,14 @@ <h2 class="title">Experience</h2>
<a href =https://github.com/cpitclaudel/alectryon>alectryon</a>
a "litterate programming" tool, to automatize the import of Coq
proofs in the documentation.
Following my internship, a
<a href=https://hal.archives-ouvertes.fr/hal-03404668>papier</a>
Following my internship, an
<a href=https://hal.archives-ouvertes.fr/hal-03404668>article</a>
has been published at
<a href=http://jfla.inria.fr/jfla2022.html>JFLA 2022</a>.
</div>

<p class="technologies">
Technologis used: Coq, Python, Latex, Alectryon.
Technologies used: Coq, Python, Latex, Alectryon.
</p>

</div>
Expand All @@ -358,27 +339,25 @@ <h2 class="title">Experience</h2>
Factonics
</a>
<span class="time">
Sep 2019 - Jul 2020
Sep 2019 -
Jul 2020
</span>
</div>
<div class="details"> <dl>
<dt> Marchine Learning engeneer </dt>
<dd> Literature review of performance measures for classification and NLP.</dd>
<dd> Development of a large scale classification algorithm with blending
and assembly method.</dd>
<dd> Make NLP pipeline (Embedding, BERT, Tokenizer, Lemmatization, NER...).</dd>
<dd> Implementation of a Topic Modeling techniques.
</dd>
<dt> Data ingeneer </dt>
<dd> Industrialisation with Airflow and Docker of large scale classification algrithm. </dd>
<dd> Parallélisation of Lemmatization pipeline Spacy, Stenza. </dd>
<dd> Deployment of AWS architecture for versioning and serving models for inference. </dd>
</dl>
<div class="details"> As a Machine Learning engineer, I conducted an extensive literature review
on performance metrics for classification and natural language processing (NLP).
I developed a large-scale classification algorithm using blending techniques and
ensemble methods and worked with various NLP pipelines, including embeddings,
BERT, tokenization, lemmatization, and named entity recognition (NER).
I also implemented topic modeling techniques. As a data engineer, I industrialized
this large-scale classification algorithm using Airflow and Docker.
I parallelized lemmatization pipelines with Spacy and Stanza and deployed
an AWS architecture for model versioning and serving for inference.
<br >
<a href=/cv/documents/stage_Factonics_2020.pdf>Intership report</a>
</div>

<p class="technologies">
Technologis used: Python, Docker, Tensorflow, Spacy, AWS.
Technologies used: Python, Docker, Tensorflow, Spacy, AWS.
</p>

</div>
Expand All @@ -395,7 +374,8 @@ <h2 class="title">Experience</h2>
SEAL (EPITA LSE)
</a>
<span class="time">
Jan 2019 - Jan 2020
Jan 2019 -
Jan 2020
</span>
</div>
<div class="details"> Design of a waterproof synchronized camera for the acquisition of
Expand All @@ -406,7 +386,7 @@ <h2 class="title">Experience</h2>
</div>

<p class="technologies">
Technologis used: C++, Python, Fusion 360.
Technologies used: C++, Python, Fusion 360.
</p>

</div>
Expand Down Expand Up @@ -463,7 +443,7 @@ <h2 class="title">Teaching</h2>
</div>

<span class="university">
<span class="name"> Orleans </span> -
<span class="name"> Université d'Orléans </span> -
<span class="level"> Master 2 </span>
<span class="hours"> 7h </span>
</span>
Expand Down Expand Up @@ -625,12 +605,8 @@ <h2 class="title">Projects</h2>

<div class="project-item">
<span>
<a class="project-link" href="https://github.com/start974/start-lang">
start-lang
</a>
<a class="language" >
Rust
</a>
<a class="project-link" href="https://github.com/start974/start-lang">start-lang</a>
<a class="language" > Rust</a>
</span>
</br>
<span class="details">Interpreter of a functional language (Work in progress).</span>
Expand All @@ -642,12 +618,8 @@ <h2 class="title">Projects</h2>

<div class="project-item">
<span>
<a class="project-link" href="https://github.com/start974/raytracing-ascii">
RayTracing-ascii
</a>
<a class="language" >
Ocaml
</a>
<a class="project-link" href="https://github.com/start974/raytracing-ascii">RayTracing-ascii</a>
<a class="language" > Ocaml</a>
</span>
</br>
<span class="details">Raytracing with ascii output or pixmap.</span>
Expand All @@ -659,12 +631,8 @@ <h2 class="title">Projects</h2>

<div class="project-item">
<span>
<a class="project-link" href="https://gitlab.com/Shad_Saw/GLA-H">
SSG
</a>
<a class="language" >
JAVA
</a>
<a class="project-link" href="https://gitlab.com/Shad_Saw/GLA-H">SSG</a>
<a class="language" > JAVA</a>
</span>
</br>
<span class="details">Static website generator from Mardowns files.</span>
Expand All @@ -676,12 +644,8 @@ <h2 class="title">Projects</h2>

<div class="project-item">
<span>
<a class="project-link" href="">
42SH
</a>
<a class="language" >
C
</a>
<a class="project-link" href="">42SH</a>
<a class="language" > C</a>
</span>
</br>
<span class="details">Programming a SHELL.</span>
Expand All @@ -693,12 +657,8 @@ <h2 class="title">Projects</h2>

<div class="project-item">
<span>
<a class="project-link" href="">
Bot - TIC-TAC-TOE
</a>
<a class="language" >
C++
</a>
<a class="project-link" href="">Bot - TIC-TAC-TOE</a>
<a class="language" > C++</a>
</span>
</br>
<span class="details">Bot using minimax algorithm with alpha beta pruning.</span>
Expand All @@ -710,12 +670,8 @@ <h2 class="title">Projects</h2>

<div class="project-item">
<span>
<a class="project-link" href="">
Bot - demineur
</a>
<a class="language" >
Python
</a>
<a class="project-link" href="">Bot - demineur</a>
<a class="language" > Python</a>
</span>
</br>
<span class="details">Bot solved minesweeper grids online.</span>
Expand Down
Loading

0 comments on commit a06bfed

Please sign in to comment.