In Memory of Walter Kraemer

摘要

This book is dedicated to Walter Kraemer (1952 - 2014), the longtime chair of the SCAN Scientific Committee. After having suffered from a long and heavy illness, Walter Kraemer passed away Monday, October 27, shortly after this conference. His whole (scientific) life was dedicated to reliable computing. In the year 1979 he started his career in reliable floating point computations with a diploma (master) thesis on the evaluation of standard functions for the EBM/370 hexadecimal floating point architecture that became one of the cornerstones of the IBM ACRITH project. In 1987 he earned his PhD from the University of Karlsruhe. Six years later he advanced his topic further by finishing his habilitation on the calculation of functions and constants in computers. He worked on several research and management positions at the University of Karlsruhe until he became professor at the University of Wuppertal, holding the chair of scientific computing and software engineering. He provided a great service to the community by maintaining and further developing C-XSC, one of the most widely used interval arithmetic packages. He was also active in representing and promoting our field. He was the chair of the GAMM Activity Group on Computer Arithmetic and Scientific Computing. After the closing of this group he founded another one with similar content: Computer-Assisted Proofs and Symbolic Computations. He also was a well-accepted teacher at the University of Wuppertal and supervised more than 12 PhD theses. According to his mission to spread the idea of reliable computing, it is not surprising that several of his PhD students came from abroad, e.g., Brazil or Egypt.