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