XLIM, Axe Mathis University of Limoges 123 av. Albert Thomas, 87060 Limoges T +33 (0)6 37 06 69 12 Tristan B [email protected] Í http://www.unilim.fr/pages_perso/tristan.vaccon/ Vaccon Born on November 21, 1989 in Argenteuil (France).

Position and Education 2017—— Maître de Conférences, entry permanent position in French universities, as a member of the Computer Algebra team, University of Limoges. Member of the Computer Science department 2015–2016 JSPS Fellow (post-doc), in the team of Professor Kazuhiro Yokoyama (Rikkyo University, Japan). 2011–2015 PhD, supervised by Xavier Caruso (University of Rennes I, CNRS). 2011 Ranked 30th at the "Agrégation de Mathématiques" competitive exam, 288 persons passed the exam, 1124 persons took the exam, along with a Master degree in Teaching mathematics from the ENS Rennes. 2009–2011 Master degree in pure mathematics, Univ. Rennes 1, summa cum laude. 2008–2012 Student at the ENS Rennes, previously ENS Cachan-Antenne de Bretagne. Publications 2017 Characteristic polynomials of p-adic matrices, in Proceedings of ISSAC 2017, with X.Caruso and D.Roe, arxiv:1702.01653. 2017 A Tropical F5 Algorithm, in Proceedings of ISSAC 2017, with K.Yokoyama, arxiv:1705.05571. 2016 Division and Slope Factorization of p-Adic Polynomials, in Proceedings of ISSAC 2016, with X.Caruso and D.Roe, arxiv:1602.01303. 2016 On p-adic differential equations with separation of variables, in Proceedings of ISSAC 2016, with P.Lairez, arxiv:1602.00244. Distinguished Paper Award of ISSAC 2016 2015 p-Adic stability in linear algebra, in Proceedings of ISSAC 2015, with X.Caruso and D.Roe. 2015 Matrix-F5 algorithms and tropical Gröbner bases computation, in Proceed- ings of ISSAC 2015, and an extended version is to appear in the Journal of Symbolic Computation. 2014 Tracking p-adic precision, in LMS J. Comput. Math. 17 (suppl. A), proceedings of ANTS XI, with X.Caruso and D.Roe. 2014 Matrix-F5 algorithms over finite-precision complete discrete valuation fields, in Proceedings of ISSAC 2014, and an extended version has been published in the Journal of Symbolic Computation. Preprints 2017 On the p-adic stability of the FGLM algorithm, arxiv:1602.00848, with G.Renault. PhD Thesis 2011–2015 Doctor of University of Rennes 1, in Mathematic and applications. Defense held at IRMAR (Rennes) on July 3, 2015. Title : Précision p-adiques, Applications en calcul formel, théorie des nombres et cryptographie Jury : . Jean-Marc COUVEIGNES, Professor, Université de Bordeaux / President of the jury Jury : . Marie-Françoise ROY, Emeritus Professor, Université de Rennes 1 / Jury member Jury : . Grégoire LECERF, CNRS researcher, École Polytechnique / Jury member Jury : . Jean-Charles FAUGÈRE, INRIA Research director, CRI Paris-Rocquencourt / Reviewer Jury : . Kiran S. KEDLAYA, Professor, University of California San Diego / Reviewer Jury : . Xavier CARUSO, CR CNRS, Université de Rennes 1 / Supervisor of the thesis. Communications Talks at the following international conferences: every ISSAC from 2014 to 2017, ANTS XI (2014), MAP 2014, ACA 2015, FELIM 2016. In recent years, I have given seminars at various universities or institutions, including the following: ENS Rennes, Hokkaido, Inria Saclay, Kyushu, Limoges, Rennes 1, Rikkyo University, Paris 6. Administrative and organizing duties 2016—— Co-organizer of the Limoges Computer Algebra Seminar. 2014 Founding organizer of the student conference Rencontres doctorales Lebesgue at the Univ. Rennes 1, head member of the scientific committee. 2013–2015 Elected member to the council of the Matisse doctoral school, University of Rennes 1. Teaching 2016—— Various Computer Science classes, University of Limoges, from Bachelor 1 to Master 1, 128h, and then 192h starting from 2017. 2012–2015 Teaching and tutoring: Algebra, ENS Rennes, First year of Master degree, 64h. 2012–2014 Lab class (Maple and Sagemath) in Commutative Algebra , Université de Rennes 1, First year of Master degree, 12h. 2009–2012 TA for oral examination, in "Classes préparatoires", Rennes, 2 to 3 hours a week. Languages French Mother tongue. English Fluent, TOEIC : 965/990, in 2009. Japanese Studied since 2008, JLPT N4, obtained in 2014. Miscellaneous Development Sagemath, Member of the Sagemath development community. Computer SAGE, Maple, MAGMA, LATEX, PARI GP. skills Scientific Supervisor of a small group of Highschool students for a "stage MathC2+", popularization in 2012.