Head of the
Institute for Reliable Computing
Hamburg University of Technology

and

Visiting Professor
Waseda University
Tokyo, Japan

INTLAB - INTerval LABoratory The Matlab toolbox for Self-Validating Methods