Top Page

ディペンダビリティ工学講座 †

このページは， 大阪大学 大学院情報科学研究科 情報システム工学専攻 ディペンダビリティ工学講座 (土屋研究室) のページです．

English Page

講座の紹介 †

当研究室では，ディペンダビリティ（高信頼性）を専門とする日本でも数少ない講座として，情報システムの高信頼化についての研究を行っています．例えば，分散システム（ネットワーク上のシステム）のための耐故障アルゴリズム，システムの設計やプログラム中の誤りをコンピュータにより自動的に検出するモデルチェッキング，ソフトウェアテストにおけるテストケースの自動設計などが具体的なテーマです．

研究室説明リーフレット(2012年4月)

tsuchiyalab2012.pdf

メンバー †

メールは@，および，ist.osaka-u.ac.jpを付加してください．また，B4へのメールは@，および，ics.es.osaka-u.ac.jpを付加してください．

教員・スタッフ †

• 教授　土屋 達弘 (t-tutiya)
• 助教　小島 英春 (hkojima)
• 事務補佐　石川 美代 (m-ishikawa)

学生 †

D1 †

• 櫻井 康平 (kohei.sakurai)
• 寺田 博文 (hirofumi.terada)

M2 †

• 上田 佑樹 (y-ueda)
• 徳山 瞬 (s-tokuym)

M1 †

• 松井 佑記 (y-matsui)

B4 †

• 佐伯 尚則 (t-saiki)
• 重岡 大樹 (s-daiki)
• 田中 真吾 (shingo-t)
• 永元 雄宙 (t-nagamt)
• 藤本 哲 (f-satosi)

連絡先 †

• 住所: 〒565-0871 大阪府吹田市山田丘1-5 大阪大学吹田キャンパス 情報系総合研究棟
• 電話: 06-6879-4538
• FAX: 06-6879-4539

研究室内のページ †

入り口