Steve Reeves (computer scientist) とは

Steve Reevesはニュージーランドのワイカト大学に勤務するコンピュータ科学者です。彼はAssociate Deanとソフトウェアエンジニアリングのプログラムコーディネーターです。彼はZ表記、GUI設計のための正式な方法、洗練の一般的理論に関する研究を行っている。
スティーブ・リーブスの学術研究は、ソフトウェア工学を支援する正式な方法の分野です。特に、仕様のロジックの設計と使用に関する研究を行っています。 Martin Henson教授は、Zの国際ISO規格に関連して、Z表記法の正式な意味論を詳細に研究しました。
彼は最近、ブロックチェーンの使用について(Data 61の同僚との)作業を開始しました。彼は、ニュージーランドの技術革新科学基金SfTIから種子授与を受けました。
Reevesは、2005年ロンドンのBritish Computer Societyで開催されたBCS-FACSセミナーシリーズのオープニングトークをはじめ、国際的な講演を行ってきました。
スティーブ・リーブスは、現在、Zユーザーグループの議長を務めており、ニュージーランドのソフトウェアエンジニアリング会議(ASWEC)運営委員会とアジア太平洋ソフトウェアエンジニアリング会議(APSEC)メンバーは、2016年12月にワイカトで開催されました。彼は英国コンピュータ協会のフェローであり、IT専門家協会(旧ニュージーランドコンピュータ協会)のフェローであり、公認ITプロフェッショナル(CITPNZ)です。
Reevesは多数の学術論文を発表しています。