Guillaume Davy
Ph.D. Université de Toulouse and Institut supérieur de l'aéronautique et de l'espace 2018
Dissertation:
Génération de codes et d'annotations prouvables d'algorithmes de points intérieurs à destination de systèmes embarqués critiques
Mathematics Subject Classification: 90—Operations research, mathematical programming
Advisor 1: Pierre-Loïc Garoche Garoche
Advisor 2: Didier Henrion
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 247033 for the advisor ID.