Institute for Reliable Computing (1987 - 2021) Head: Prof. Dr. Siegfried M. Rump
Recent teaching includes seminars and lecture series on