Joachim Hotonnier

Joachim Hotonnier is a C++ Developer at magicplan since September 2022. Previously, they worked as a PhD Student at IMT Atlantique, specializing in programming language semantics using category theory in the Coq proof assistant. They have internship experiences at Ubisoft Paris Studio, Arm, and Junior-Entreprise MiND. Joachim holds a Master of Science (M.Sc.) in Computer Science for Decision Support from IMT Atlantique.