Frédéric Tran Minh personal web page

Frédéric Tran Minh

Teacher Esisar – Grenoble INP-UGA

PhD student

CTSYS Team – LCIS

Grenoble INP-UGA

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:

CICM 2025 : A Lean-based Language for Teaching Proof in High-school (publication in progress)

Th Edu 24
paper : https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ThEdu24.1
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.

Developments

Keywords : Proof assistants Lean, Library, Teaching, Web, Interface, High school

Yalep : Yet Another Learning Environment for Proof

Git repository : https://gricad-gitlab.univ-grenoble-alpes.fr/yalep/Yalep
Web interface : http://vm-lean4web.nova.u-ga.fr/#project=YalepDemo

Teaching activities

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

Responsible for course :

MA121 1st Year Mathematics