# coding: utf-8 Страница Christoph'а Lauter'а
Без комментариев... Я не фотогеничен...

Version française - Deutsche Version - English version

Christoph Quirin Lauter - Кристоф Квирин Лаутер

Лектор (maître de conférences) в проекте PEQUAN в лаборатории LIP6 в университете Пьер и Мария Кюри (UPMC).

Перед этим инженер программного обеспечения и член группы Numerics в компании Интел.

В прошлом аспирант, принимавший участие в проекте Arénaire в лаборатории LIP под руководством Florent'а de Dinechin.

Женат, одна дочь.


Область научного исследования:

Предметом моей кандидатской диссертации являлось правильное округление элементарных функций, таких как exp(x), log(x), sin(x), asin(x), power(x,y), в двойной точности по норме IEEE 754.

Программное обеспечение элементарних функций определяет несколько трудностей различных видов:

Я участвовал в пересмотре нормы IEEE 754, которая владеет миром арифметики с помощью плавающей запятой. С Florent'ом de Dinechin и Jean-Michel'ом Muller, я предложил следующее переформулирование главы о элементарних функциях. Предложенная формулировка может быть прочитана здесь. Последующий комментарий версии черновика 1.6.0 от 10 января 2008 года находится здесь.

Я провёл исследование о способах автоматизации программного обеспечения и сертификации математической функции.С того времени я интересуюсь алгоритмами, гарантирующими результат, используемыми для решения нетривиальных вычислительных задач. Например, позвольте мне рассказать о вычислении бесконечной нормы составной функции.В данном случае под вычислением понимается минорирование и, что более важно, мажорирование неизвестного супремума функции. Функция принимает форму дерева выражения. Основные функции или коды-"чёрные ящики" являются его листьями. Разумеется, оценка такого дерева при переменной точности в одной точке или в маленьком интервале является важной и основной задачей. Всё это приводит прямо к вопросам об адаптации точности для обеспечения округления с точностью до одного ulpа.

Я интегрировал эти алгоритмы в софтвер утилити Солья. Солья является надёжной поддержкой программирования элементарных функций. Я использовал Солью в разработке моего проекта Metalibm, нацеленного на автоматическую генерацию математических функций (libm).


Краткая биография:


Мои аспиранты и стажеры:


Публикации:

Статьи в международных журналах:

Статьи в актах международных конференций:

Технические доклады:

Дипломные работы магистра и кандидатская диссертация:

Презентации и семинары:

Разное:


Запрограммированный софтвер (open source):


Преподавание:


Контактные данные:

Mail: christoph.lauter@lip6.fr
Адрес: Université Pierre et Marie Curie
Laboratoire d'Informatique de Paris 6
Équipe PEQUAN
Boîte Courrier 169
4, place Jussieu
F - 75252 Paris Cedex 05
Франция
Телефон: +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

Последнее обновление: 06.06.2017.