Das Institut für Angewandte Mathematik betreibt unter der Leitung von Prof. Dr. Ulrich Kulisch seit etwa 30 Jahren Forschung und Entwicklung auf den Gebieten:

• Hochgenaue Rechnerarithmetik und Standardfunktionen
• Entwicklung von Programmiersprachen und Compilern für Wissenschaftliches Rechnen (Pascal-XSC, C-XSC, ACRITH-XSC, Fortran-XSC, Oberon-XSC)
• Numerische Algorithmen mit automatischer Ergebnisverifikation (Numerikbibliothek für das Wissenschaftliche Rechnen)
• Zuverlässige Lösungen bei sicherheitskritischen Anwendungen
• Chipdesign und Entwurf von Arithmetikprozessoren

Auf diesen Gebieten hat das IAM in den vergangenen Jahren zahlreiche Drittmittelprojekte in Kooperation mit Partnern aus Industrie und Forschungseinrichtungen durchgeführt, wie etwa:

• Entwicklung von PASCAL-XSC mit Nixdorf, von ACRITH und ACRITH-XSC mit IBM, von ARITHMOS mit Siemens.
• Ein von der VW-Stiftung gefördertes Projekt zur Entwicklung eines VLSI-Vektorarithmetik-Koprozessorchips XPA 3233, zusammen mit dem IMS Stuttgart (Prof. Höfflinger) und der TU Hamburg-Harburg (Prof. Teufel).
• Verschiedene EU-Projekte (Esprit-Projekt DIAMOND, Esprit-Projekt OMI/HORN, Esprit-Projekt OMI/ANTICRASH, Esprit-Projekt OMI/SAFE) mit Partnern wie SGS-Thomson, Siemens, Inmos, NAG, CWI und anderen.
• Zahlreiche DFG-Projekte, in den letzten Jahren zu Themen wie Verifizierte Berechnung der Transportkoeffizienten von Gasen, Einschließungsverfahren bei Differentialgleichungen, parallele Verifikationsalgorithmen.
• Forschungsschwerpunkt Computerarithmetik und Verifikationsnumerik mit Projekten wie Pflege und Weiterentwicklung der XSC-Sprachen, Problemlöseroutinen mit automatischer Ergebnisverifikation, Entwicklung eines systematischen Fehlerkalküls, Implementierung hochgenauer Standardfunktionen für die Datentypen real und interval, complex und complex interval, automatische Ergebnisverifikation bei globalen Optimierungsproblemen.

Durch Forschung und Entwicklung auf den Gebieten Rechnerarithmetik und Numerik mit automatischer Ergebnisverifikation hat sich das IAM internationales Renommee erworben. Zur Zeit beschäftigt das IAM etwa 20 Wissenschaftler und ebensoviele wissenschaftliche Hilfskräfte. Neben den Forschungstätigkeiten und entsprechenden Spezialvorlesungen bildet das IAM pro Semester etwa 500 Studierende aller Fachrichtungen in Programmiersprachen, Programmiertechniken und Softwareengineering aus. Es werden jährlich mehrere Promotionen abgeschlossen und zahlreiche Diplomarbeiten in den oben genannten Gebieten betreut.

Weitere Informationen finden Sie auf den Webseiten des Instituts unter der Adresse http://www.uni-karlsruhe.de/~iam

Die XSC-Software, verschiedene Compiler und die Numerikbibliotheken findet man unter http://www.xsc.de bzw. ftp://ftp.iam.uni-karlsruhe.de