Institute for Reliable Computing
Head: Prof. Dr. Siegfried M. Rump