Institut für Zuverlässiges Rechnen
Leiter: Prof. Dr. Siegfried M. Rump