Eric Hehner とは

Rickと呼ばれるEric C. R. Hehnerは、カナダのコンピュータ科学者です。
Eric Hehnerは1947年9月16日にオタワで生まれました。カルルトン大学で数学と物理学を学び、1969年に学位を取得した。1974年にトロント大学でコンピュータサイエンスの博士号を取得し、1983年に教授に就任して全教授に就いた。 2001年のソフトウェアエンジニアリングの議長。
Hehnerの主な研究領域は、特にプログラミングのための正式な方法です。 1979年、Hehnerは現在のビクトリア大学の教授であるNigel Horspoolとの有理数表現法を発明しました。引用符記法と呼ばれていました。これは算術計算を容易にし、基数表記の一般化を行う算術計算で丸め誤差を生じません。 Hehnerはまた、他の多くのコンピュータサイエンス研究者に、Tony Hoare、特に述語プログラミングのコンセプトについてのアイデアをもたらしました。