Ohne Kommentar... Ich bin nicht sehr fotogen...

English version - Version française - Русская Версия

Christoph Quirin Lauter

Associate Professor an der University of Texas at El Paso (UTEP).

Habilitierter Maître de conférences en disponibilité im Projekt PEQUAN am Laboratorium LIP6 der Universität Sorbonne.

Davor Assistant und Associate Professor (Tenured) an der University of Alaska Anchorage (UAA) (2018-2022).

Davor und zwischendurch Software Engineer für Intel Corporation, im Team Numerics (2008-2010 und Januar-Juli 2022).

Ehemals Doktorand im Projekt Arénaire, am LIP unter der Betreuung von Florent de Dinechin.

Verheiratet, eine Tochter, einen Sohn.


Forschungsschwerpunkte:

Das Thema meiner Doktorarbeit war die korrekte Rundung von Elementarfunktionen, wie zum Beispiel exp(x), log(x), sin(x), asin(x), power(x,y), in doppelter Genauigkeit gemäß IEEE 754.

Die Maschinenrealisierung einer korrekt gerundeten Elementarfunktion hat mit verschiedenen Problemen unterschiedlicher Gebiete zu kämpfen:

Ich habe an der Überarbeitung der Norm IEEE 754 teilgenommen, die die Welt des Gleitkommarechnens beherrscht. Mit Florent de Dinechin und Jean-Michel Muller, habe ich folgende Neuformulierung des Kapitels über elementare Funktionen vorgeschlagen. Der Vorschlag befindet sich hier. Ein weiterer Kommentar zum Draft 1.6.0 vom 10. Januar 2008 befindet sich hier.

Ausgehend vom Problem, wie die Implementierung und Zertifizierung einer mathematischen Funktion automatisiert werden können, habe ich mit sicheren Algorithmen für einige High-level-Probleme auseinandergesetzt. Als Beispiel ist hier die Berechnung der Supremumnorm einer zusammengesetzten Funktion zu nennen. Unter Berechnung ist hier die Unter- und vorallem Oberabschätzung des unbekannten Supremums der Funktion zu verstehen. Die Funktion selbst ist als ein Ausdrucksbaum gegeben. Seine Blätter sind Basisfunktionen oder auch „Black-box-Codes“. Die Auswertung eines solchen Baumes in einem Punkt oder kleinen Intervall mit anpassbarer Genauigkeit ist hier natürlich ein wichtiges Unterproblem. Fragen der Anpassung der Rechengenauigkeit um ein faithful rounding sicherzustellen stellen sich hier sofort...

Ich habe diese Algorithmen in das Software-Tool Sollya eingebunden, das als Unterstützung bei der Entwicklung von Elementarfunktionen gedacht ist. Sollya dient mir dann als Grundlage für mein weiterführendes Metalibm-Projekt, das auf die automatisierte Implementierung von mathematischen Funktionen (in einer libm) abzielt.

In den letzten Jahren habe ich mich in meiner Forschung, die ich unter anderem mit meiner Habilitationsschrift veröffentlicht habe, für Herangehensweisen interessiert, mit denen man die typische IEEE754 Gleitkommaumgebung implementieren und insbesondere erweitern kann:


Kurzer Lebenslauf:


Doktoranden und Praktikanden, mit denen ich zusammenarbeite:


Veröffentlichungen:

Artikel in internationalen Zeitschriften:

Artikel in den Akten internationaler Konferenzen:

Forschungsberichte:

Diplom- und Doktorarbeiten, sowie Habilitationsschrift:

Präsentationen und Seminare:

Sonstiges:


Entwicklung freier Software:


Lehre:


Kontaktdaten:

Email: christoph.lauter@christoph-lauter.org
Öffentlicher OpenPGP Schlüssel: OpenPGP
S/MIME Zertifikat: S/MIME Zertifikat (PEM), S/MIME Zertifikatskette (PEM) und S/MIME Zertifikatskette (P7B)
Adresse: University of Texas at El Paso
Computer Science Department
CCSB Room 3.0610
500 W University Ave.
El Paso, Texas, 79968
Vereinigte Staaten von Amerika - USA
Telefon: +1 915 747 5939
+33 1 82 52 17 77
+1 915 229 2404
+1 907 519 0505
+49 9621 16590 73
CNET: +49 9621 773 und +37 51 1273

Telefonsammlung:

Als Hobby sammle ich alte Telefonapparate und die dazu gehörige Technik. Ein paar Informationen zu diesem Thema sind auf dieser Seite zu finden.

Letztes Update: 05.02.2024.