Mathieu MONTIN

Mathieu Montin has a diverse work experience in the field of mathematics and software engineering. Mathieu is currently working at Tweag as the Leader of the High Assurance software Group since August 2022. Prior to this, they were a Software verification and audit engineer at the same company from March 2022 to August 2022. Before joining Tweag, Mathieu worked as a Chercheur postdoctoral at Loria from November 2020 to October 2021. Mathieu also worked at IRIT (Institut de Recherche en Informatique de Toulouse) from March 2017 to September 2020 as an ATER / Doctorant, conducting research on mechanization of trace semantics for executable languages using Agda. Their earlier experience includes a role as a Stagiaire at Safran Engineering Services from April 2013 to September 2013.

Mathieu Montin obtained their highest level of education, a doctorate in computer science, from ENSEEIHT in the years 2014 to 2020. Prior to that, they completed their diploma in engineering with a specialization in computer science from ENSEEIHT from 2010 to 2013. During the same period, they also earned a TOEIC certification in English. Before their engineering studies, Mathieu completed their pre-class preparatory education in mathematics, physics, and computer science at Lycée Carnot from 2008 to 2010. Finally, they earned their baccalaureate degree in scientific studies from Lycée Mathias in the years 2005 to 2008.