Short presentation

Frédéric Tran Minh is a math teacher at Esisar – Grenoble INP – UGA.

In 2001, he received an Engineering Degree from Ensimag – INPG (former Grenoble INP) and a Master Degree in applied Mathematics from UJF ; after 8 years of Design and Development in computer assisted surgery, he passed the math french Agregation to start teaching maths. Recently, his interests focused on the use of proof assistants for teaching undergraduate mathematics, and he started a phD on this subject, with Laure Gonnord and Julien Narboux.

More information here for research activities, teaching activities and publications.