LAUTER Christoph

Associate Professor
Team : PEQUAN
Departure date : 10/01/2018
https://lip6.fr/Christoph.Lauter
https://lip6.fr/Christoph.Lauter

Research activity

  • Algorithmes et opĂ©rateurs (transcendents) pour le calcul certifiĂ© en virgule flottante
    • Fonctions Ă©lĂ©mentaires correctement arrondies : participation au projet ANR TaMaDi, futur co- encadrant d'une thèse
    • Bibliothèques de compatibilitĂ© avec la norme internationale IEEE 754-2008 (entre autres : encadrement d'un stage)
    • Aspects logiciels et système du calcul rigoureux en virgule flottante (avec V. MĂ©nissier-Morain)
    • OpĂ©rateurs spĂ©ciaux multiprĂ©cision validĂ©s et certifiĂ©s : normes sup validĂ©es rapides
  • ArithmĂ©tique d'intervalle et adaptation de la prĂ©cision de calcul automatique
    • DĂ©veloppement de la suite de calcul numĂ©rique validĂ© Sollya
  • GĂ©nĂ©ration automatique de codes en virgule flottante avec gestion de la prĂ©cision de calcul
    • DĂ©veloppement de l'algorithmique haut-niveau pour la gĂ©nĂ©ration de bibliothèques mathĂ©matiques libm

3 PhD graduated 2015 - 2019

2003-2021 Publications