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