ウルリヒ・クリッシュ
クリッシュは Nixdorf コンピュータ (Pascal-XSC など), IBM (Acrithと Acrith-XSC) and Siemens (プログラムパッケージ Arithmos)などを含む自動的結果証明を伴うソフトウェアを開発した。カールスルーエ工科大学ではC-XSCと付随するライブラリを開発した。1993/1994年にはXPA3233のハードウェア実装に携わった。
彼はGesellschaft für Angewandte Mathematik und Mechanik (GAMM)コンピュータ数学及び科学計算委員会とIMACS(数学及びコンピュータシミュレーション国際学会)強化コンピュータ計算技術委員会の座長を務め、1979年度の情報処理国際連合ワーキンググループ2.5(数値ソフトウェア)のドイツ代表メンバー(1980年以降からメンバーになっている)を務めている。区間演算のためのIEEE規格委員会P1788にも携わっている。
1975-1988年にはJahrbuchs Überblicke Mathematikの編集者を務めた。