職歴
| 2022年03月 - 現在 | Kalrayにてコンパイラーエンジニア |
| 2018年9月 - 2022年05月 | 大学院生（博士課程後期） |
学歴
| 2022 | 理論計算科学博士課程後期卒業 (ENS de Lyon) |
| 2018 | 理論計算科学博士課程前期卒業 (ENS de Lyon) |
| 2017 | 数学学士課程卒業 (Lyon University) |
| 2015 | 理論計算科学学士卒業 (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) |
研修
| 2018年02月 - 2018年06月 | 指導者： Laure Gonnord | 詳細 |
| レポート | Semantic Polyhedral Model for Arrays and Lists | [pdf] [slides] [bib] |
| 2015年10月 - 2016年07月 | 指導者： Nao Hirokawa | 詳細 |
| レポート | Towards automating proofs in the context of commutative semi-rings | [pdf] [slides] [bib] |
| 2015年春 | 指導者： Alan Schmidt | 詳細 |
| レポート | Backend JavaScript pour OCaml | [pdf] [slides] [bib] |
コンピュータースキル
| OS | Linux, Windows |
| ソフトウェア | Word, Excel, PowerPoint, GIMP, Vim |
| 言語 | C, OCaml, Ruby, JavaScript, Haskell, Python, SQL, PHP |
| ツール | LaTeX, Git, Make |
趣味
コンピューター, 日本語, 読書, 水泳, スキー, 卓球