Loading article…
ドロン・A・ペレド（ヘブライ語: דורון אנשל פלד、1962年生まれ）は、バル＝イラン大学のコンピュータ科学教授です。彼の研究分野は、形式手法、モデル検査、プログラム合成、実行時検証などです。エドモンド・M・クラーク、オルナ・グランバーグと共に、著書『モデル検査』（MIT Press、1999年）[ 2 ] 、および著書『ソフトウェア信頼性手法』（Springer Verlag 、2000年） [ 3 ]を共著しています。
ドロン・ペレド[ 4 ]は1962年4月10日にハイファで生まれた。彼は1991年にテクニオン・イスラエル工科大学でシュムエル・カッツ教授とアミール・プヌエリ教授の指導の下、時相論理の検証手法に関するコンピュータサイエンスの博士号を取得した。ウォーリック大学で博士研究員として1年間過ごした後、ベル研究所に入社し、1992年から2001年まで勤務した。その後、テキサス大学オースティン校の准教授に任命され、1年後にウォーリック大学のソフトウェア工学の教授兼学科長に就任した。
2006年、ドロンはイスラエルに戻り、バル＝イラン大学にコンピュータサイエンスの教授として着任した。彼は2013年から2016年まで学科長を務めた。[ 5 ]
ペレドは、形式手法の分野におけるコンピュータサイエンスへの貢献で知られています。[ 6 ]これには、並行システムの自動検証に必要な時間と空間を削減する方法である部分順序削減[ 7 ]が含まれており、彼はパトリス・ゴデフロワ、アンティ・ヴァルマリ、ピエール・ウォルパーとともに2014年のCAV賞を受賞しました。[ 1 ]ミハリス・ヤナカキス、モシェ・ヴァルディとともに、ブラックボックスシステムを自動的に検証する方法であるブラックボックスチェック[ 8 ]を開発しました。クラウス・ハヴェルンドとともに、大量のデータを含むイベントシーケンスの実行時検証のためのツールDejaVu [ 9 ]を開発しました。