土屋 達弘
（つちや たつひろ）
1995年 大阪大学大学院基礎工学研究科博士前期課程修了．
博士（工学）．
現在，同大学大学院情報科学研究科・准教授．
ディペンダブルシステムや形式検証の研究に従事．
執筆箇所：
・6群7編 ディペンダブルコンピューティング
・7群1編 ソフトウェア基礎