# James Bornholt [[Amazon Web Services]] 所属の研究者(発表当時 University of Texas at Austin も兼務)。[[ShardStore]] の軽量形式手法によるストレージ検証を報告した SOSP '21 論文の筆頭著者(Source: [[@2021__SOSP__Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3]])。同論文の参考文献では Yggdrasil(push-button 検証ファイルシステム)や Ferrite(ファイルシステムのクラッシュ整合性モデル検査)、Hyperkernel(OS カーネルの push-button 検証)にも著者として名を連ねており、ファイルシステム・ストレージ検証分野での継続的な研究実績を持つ。