MMDS大阪大学 数理・データ科学教育研究センター
Center for Mathematical Modeling and Data Science,Osaka University

教員紹介

土屋 達弘

教授(モデリング部門)

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