土屋 達弘

(つちや たつひろ)


1995年 大阪大学大学院基礎工学研究科博士前期課程修了.
博士(工学).
現在,同大学大学院情報科学研究科・准教授.
ディペンダブルシステムや形式検証の研究に従事.

執筆箇所:

  ・6群7編 ディペンダブルコンピューティング
  ・7群1編 ソフトウェア基礎