Helmut Veith とは

Helmut Veith(1971年2月5日〜2016年3月12日)はオーストリアのコンピュータ科学者で、コンピュータ支援検証、ソフトウェアエンジニアリング、コンピュータセキュリティ、コンピュータサイエンスの分野で働いていました。彼はオーストリアのウィーン工科大学(TU Wien)の情報学の教授でした。