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

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

Christoph Quirin Lauter

Maître de conférences dans le projet PEQUAN au laboratoire LIP6 à l'Université Pierre et Marie Curie (UPMC).

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 : Université Pierre et Marie Curie
Laboratoire d'Informatique de Paris 6
Équipe PEQUAN
Boîte Courrier 169
4, place Jussieu
75252 Paris Cedex 05
Téléphone : +33 1 44 27 80 29
+33 1 82 52 17 77
+33 6 71 59 39 13
+1 503 468 4475
+49 9621 7781170
Ekiga : christoph.lauter@ekiga.net
Skype : cqlauter

Dernière mise à jour : 11/01/2016.