Dominique Duval

Professor
Université Grenoble-Alpe - Laboratoire Jean Kuntzmann (LJK) - Team CASYS
Dominique.Duval@imag.fr - Tel : +33 4 57 42 17 34
Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de St Martin d'Hères



Pinocchio
Pinocchio by André Koehne, 2006, CC-BY-SA.


Lie-to-children. Because some topics can be extremely difficult to understand, introducing a full level of complexity all at once can be overwhelming. Hence elementary explanations are simplified in a way that makes the lesson more understandable, though technically wrong. A lie-to-children is meant to be eventually replaced with a more sophisticated explanation which is closer to the truth.

Research topics in semantics

Previous research topics in computer algebra

Publications

My coauthors (since 2006)

Some links