教員紹介
土屋 達弘
教授（モデリング部門）
| 氏名 | 土屋 達弘 ( Tatsuhiro TSUCHIYA ) |
|---|---|
| 役職 | 教授（モデリング部門） |
| 主たる所属及び職名 | 情報科学研究科 教授 |
| 担当科目 | 【大学院】 ディペンダブルシステム，コンピュータアルゴリズム入門 |
| 研究分野 | |
| 研究内容 | 情報システム。特に，ソフトウェアシステムの設計と実装を不具合無く実現するため，モデル検査やテストなどの高信頼化手法について研究を行っている。 |
| 教員連絡先 | 〒565-0871 大阪府吹田市山田丘1-5 大阪大学大学院情報科学研究科情報システム工学専攻 |
| 教員プロフィール | 「大阪大学 研究者総覧」のページ http://www.dma.jim.osaka-u.ac.jp/view?l=ja&u=6483 |