Grégoire Geis
Software Engineer
Seoul, South Korea
About
Software engineer with a personal interest in code intelligence and compilers.
Experience
-
Software Engineer at Seoul Robotics
Mar 2023 - Present · 3 yrs 5 mos
-
Member at Prologin
Dec 2020 - Aug 2022 · 1 yr 9 mos
Girls Can Code! — Finale of the Prologin 2021 competition
-
Software Engineer at Google
Sep 2019 - Aug 2022 · 3 yrs
-
Software Engineer at YouTube
Sep 2019 - Aug 2022 · 3 yrs
-
Research Intern at IRIF (Institut de Recherche en Informatique Fondamentale)
Jan 2019 - Feb 2019 · 2 mos
Using and extending François Pottier's Inferno library to implement a small ML-like language with type checking / inference, pattern matching, and polymorphic recursion.