Peter O’Hearn とは

Peter William O'Hearn(1963年7月13日生まれ)は、Facebookの研究科学者、University College London(UCL)のコンピュータサイエンス教授です。彼はプログラム正しさの正式な方法に大きく貢献しました。近年、これらの進歩は、大規模な産業コードベースの自動分析を行う産業用ソフトウェアツールの開発に採用されている。