教授土屋 達弘
Tsuchiya Tatsuhiro
情報システム工学専攻
ディペンダビリティ工学講座
1995年 大阪大学 修士
1996年 大阪大学 基礎工学部 助手
1998年 大阪大学 博士（工学）
2000年 大阪大学 大学院基礎工学研究科 講師
2002年 大阪大学 大学院情報科学研究科 助教授
2012年 大阪大学 大学院情報科学研究科 教授
研究テーマ
ディペンダブルシステム
ディペンダブルな、つまり、信頼のおける情報システムを実現するための技術について研究を行っています。システムの設計やプログラム中の誤りをコンピュータにより自動的に検出するモデルチェッキング技術や、システムの正しさを効率的にテストするためのテスト方法の開発などが具体的なテーマです。
連絡先
E-mail: t-tutiya@ist.
TEL: S4535
4桁の番号は同キャンパス内からの内線番号です。
外線からは、S: 06-6879-xxxx、S*: 06-6105-xxxx、T: 06-6850-xxxx となります。
メールアドレスは、末尾が省略されていますので、送信前に osaka-u.ac.jp を付加してください。
