Julien Narboux

Strasbourg

http://dpt-info.u-strasbg.fr/~narboux/index.html

Lecturer at University of Strasbourg working on formalization and automation in geometry.