ページの先頭です

研究科紹介

土屋 達弘
教授 Tatsuhiro Tsuchiya

土屋 達弘 つちや たつひろ

  • 情報システム工学専攻
  • ディペンダビリティ工学講座

研究テーマ・概要

ディペンダブルシステム

ディペンダブルな、つまり、信頼のおける情報システムを実現するための技術について研究を行っています。システムの設計やプログラム中の誤りをコンピュータにより自動的に検出するモデルチェッキング技術や、システムの正しさを効率的にテストするためのテスト方法の開発などが具体的なテーマです。また、電力システムのディペンダブル化にも取り組んでいます。

略歴

  • 1995年 大阪大学 修士
  • 1996年 大阪大学 基礎工学部 助手
  • 1998年 大阪大学 博士(工学)
  • 2000年 大阪大学大学院 基礎工学研究科 講師
  • 2002年 大阪大学大学院 情報科学研究科 助教授
  • 2012年 大阪大学大学院 情報科学研究科 教授

連絡先

4ケタの電話番号は、大阪大学での内線番号です。豊と表記されたものは(市外局番 06)6850、吹と表記されたものは(市外局番 06)6879 に続けてダイアルすることで大阪大学外からもダイアルインでかけることができます。 ただし,吹(内線)と表記されたものは,大代表(06)6879-5111にかけてください
メールアドレスは、末尾の"osaka-u.ac.jp"が省略されていますので、送信前に"osaka-u.ac.jp"を付加してください。