Без комментариев... Я не фотогеничен...

Version française - Deutsche Version - English version

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

Лектор (assistant professor) в University of Alaska Anchorage (UAA).

Maître de conférences en disponibilité в проекте PEQUAN в лаборатории LIP6 в университете Сорбонна (Sorbonne Université).

Перед этим инженер программного обеспечения и член группы 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
Адрес: University of Alaska Anchorage
Christoph Lauter
ECB301M
3310 UAA Dr
Anchorage, AK, 99518
США - USA
Телефон: +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

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