Work
| March 2022 - Present | Compiler Engineer at Kalray |
| Sept 2018 - May 2022 | PhD Student |
| April 2011 | Activity leader in a youth and community center (Grenoble (38)) |
| August 2011 | Activity leader in a summer camp (Le Breuil (71)) |
Diploma
| 2022 | Phd of Theoretical Computer Science (ENS de Lyon) |
| 2018 | MSc of Theoretical Computer Science (ENS de Lyon) |
| 2017 | BSc of Mathematics (Lyon University) |
| 2015 | BSc of Theoretical Computer Science (ENS de Lyon) |
| 2011 | Baccalauréat Série Scientifique SI Spécialité Mathématiques (Mention Assez Bien) |
| 2011 | Brevet d'Aptitude aux Fonctions d'Animateur (BAFA) |
Internships
| Feb 2018 - Jun 2018 | Internship under the supervision of Laure Gonnord | Details |
| Report | Semantic Polyhedral Model for Arrays and Lists | [pdf] [slides] [bib] |
| Oct 2015 - Jul 2016 | Internship under the supervision of Nao Hirokawa | Details |
| Report | Towards automating proofs in the context of commutative semi-rings | [pdf] [slides] [bib] |
| Printemps 2015 | Internship under the supervision of Alan Schmidt | Details |
| Report | Backend JavaScript pour OCaml | [pdf] [slides] [bib] |
Computer Skills
| OS | Linux, Windows |
| Software | Word, Excel, PowerPoint, GIMP, Vim |
| Languages | C, OCaml, Ruby, JavaScript, Haskell, Python, SQL, PHP |
| Toorls | LaTeX, Git, Make, Sed, Awk, Perl |
Leisure
Computers, Japanese (the Language), Reading, Swimming, Skiing, Table tennis