Sans commentaire... je ne suis pas photogénique...

English version - Deutsche Version - Русская Версия

Christoph Quirin Lauter

Assistant professor à l'University of Alaska Anchorage (UAA).

Maître de conférences en disponibilité dans le projet PEQUAN au laboratoire LIP6 à Sorbonne Université.

Avant cela, ingénieur logiciel pour la compagnie Intel dans l'équipe Numerics.

Ancien doctorant sous la direction de Florent de Dinechin, dans le projet Arénaire, au LIP.

Marié, père d'une fille.


Intérêts de recherche :

Ma thèse a porté sur l'arrondi correct des fonctions élémentaires, telles que exp(x), log(x), sin(x), asin(x), power(x,y), en double précision IEEE 754.

L'implémentation d'une fonction élémentaire doit affronter plusieurs difficultés de différentes natures:

J'ai participé au processus de la révision de la norme IEEE 754 qui régit le calcul flottant. Avec Florent de Dinechin et Jean-Michel Muller, j'ai proposé la reformulation du chapitre sur les fonctions élémentaires qui se trouve ici. Une autre remarque concernant le draft 1.6.0 du 10 janvier 2008 se trouve ici.

Partant du problème de savoir comment l'implantation et la certification d'une fonction mathématique peuvent être automatisées, je me suis intéressé à des algorithmes sûrs pour certains problèmes de haut niveau. Comme exemple, mentionnons le calcul de la norme infini d'une fonction composée. Ici, on comprend par calcul la minoration et surtout la majoration certifiée du supremum inconnue de la fonction. La fonction, elle-même, y est définie comme un arbre d'expression. Ses feuilles sont des fonctions de base ou des codes « boîtes noires ». Évidemment, l'évaluation multi-précision certifiée d'un tel arbre en un point ou un petit intervalle est un sous-problème important. Les questions d'adaption de précision pour garantir un arrondi fidèle multi-precision s'ensuivent également...

J'ai intégré ces algorithmes dans un outil logiciel d'aide au développement de fonctions élémentaires, Sollya. Sollya me sert en outre pour mon projet de générateur automatique d'implantations de fonctions mathématiques, Metalibm.


Court curriculum vitae :


Doctorants et stagiaires avec qui je travaille ou avec qui j'ai pu travailler :


Publications :

Articles dans des revues internationales :

Articles dans les actes de conférences internationales :

Rapports de recherche :

Thèses et mémoires :

Présentations et séminaires :

Divers :


Logiciels libres développés :


Enseignements :


Pour me contacter :

Mail : christoph.lauter@lip6.fr
Adresse : University of Alaska Anchorage
Christoph Lauter
ECB301M
3310 UAA Dr
Anchorage, AK, 99518
États Unis d'Amérique - USA
Téléphone : +1 907 786 0619
+33 1 82 52 17 77
+1 907 891 6834
+1 907 519 0505
+49 9621 7781170
Ekiga : christoph.lauter@ekiga.net

Dernière mise à jour : 07/08/2018.