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.

Research activities

Keywords : Proof assistants for Teaching, Theorem provers, Mechanized proofs

Publications:

• Th Edu 24
  report : https://hal.science/hal-04705580
  slides: https://hal.science/hal-04705596

• Th Edu 23
  report : https://hal.science/hal-04705617
  slides : https://hal.science/hal-04705638

Participation in APPAM ANR project.

Teaching activities

Keywords : undergraduate mathematics, Algebra, Analysis, C Programming, Proof Assistants (Lean), Theory of Languages and Automata

Responsible for course :

• MA121  1st Year Mathematics