Formalization and Automation of Geometry
Formalization and Automation of Geometry
Members
Aller à la navigation
Aller à la recherche
Serbian members:
- Predrag Janicic, associate professor, University of Belgrade
- Filip Maric, assistant professor, University of Belgrade
- Vesna Marinkovic (born Pavlovic), teaching assistant and PhD student, University of Belgrade
- Danijela Petrovic, teaching assistant and PhD student, University of Belgrade
- Ivan Petrovic, PhD student, University of Belgrade
- Sana Stojanovic, teaching assistant and PhD student, University of Belgrade
French members:
- Julien Narboux, lecturer, University of Strasbourg
- Pascal Schreck, professor, University of Strasbourg
- Pascal Mathis, lecturer, University of Strasbourg
- Remi Imbach, Phd student, University of Strasbourg
- Hugo Herbelin, INRIA, Rocquencourt-Paris.