Warmest Congratulations, Ernst-Rüdiger!

Abstract

This is the place to express my admiration for the continued high quality and scientific integrity of your scientific work through all these years. Frank de Boer and I, when speaking about you some while ago, came to the conclusion that you are a light beacon for both of us, you are a true Professors’ Professor, raising and maintaining the high standard of scientific endeavor within our field, that of Program Verification and Program Semantics within Computer Science. At the same time you have never developed any pretensions, but always remained your amiable, utterly reliable, friendly, modest and respectable self. That is why you have been our beacon throughout our lives not only in scientific respect but also as a respected human being, who maintains these simple values of human life — values which make our lives worthwhile also outside of and beyond our professional activities. Your students speak about you with warmth and respect, and consider themselves fortunate that you have been their mentor! All these qualities make you a truly worthy successor of your friend and Doctor-Vater Hans Langmaack in the very best tradition of German Science. What more can a University Professor aspire to be!