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

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

(学部組織としては,基礎工学部 情報科学科計算機科学コース に所属しています.)

members2016_resized.jpg

English Page

学生を募集しています!

講座の紹介

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

メンバー

メールは@,および,ist.osaka-u.ac.jpを付加してください.

教員・スタッフ

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

学生

D2

  • 松原 正裕(masahiro.matsubara)

M2

  • 重岡 大樹 (s-daiki)
  • 小林 弘幸 (h-kobays)
  • 大橋 輝 (t-ohasi)
  • 高橋 仁 (t-hitosi)
  • 津田 宏軌 (h-tsuda)
  • 中野 伸哉 (s-nakano)

M1

  • 小西 達也 (t-konisi)
  • 長島 悠太 (y-nagasm)
  • 妙見 侑祐 (y-myoken)
  • 松井 勝利 (s-matsui)

B4

  • 高垣輝起 (t-teruki)
  • 石丸将生 (m-isimar)
  • 島田裕紀 (h-simada)
  • 清水真之介(s-simizu)
  • 外山大夢 (h-toyama)

修了生

  • 徳山 瞬 (s-tokuym)
  • 佐伯 尚則 (t-saiki)
  • 田中 真吾 (shingo-t)
  • 上田 佑樹 (y-ueda)
  • 松井 佑記 (y-matsui)
  • 櫻井 康平 (kohei.sakurai)
  • 佐伯 陽一 (y-saeki)
  • 坂野 宏樹 (h-sakano)
  • 吉田 秦伍 (s-yosida)
  • 寺田 博文 (hirofumi.terada)
  • 永元 雄宙 (t-nagamt)
  • 藤本 哲 (f-satosi)
  • 平﨑 靖博 (y-hirask)
  • 芳中 宗一郎 (s-yosink)
  • 小川 賢人 (o-kento)
  • 宮本 達也 (m-tatuya)
  • 石井 伸和 (n-ishii)

連絡先

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

研究室内のページ

入り口


添付ファイル: filetsuchiyalab2016.pdf 505件 [詳細] filemembers2016_resized.jpg 535件 [詳細] filemembers2015.jpg 1665件 [詳細] filetsuchiyalab2014.pdf 3042件 [詳細] filelabsnap2013.4.JPG 2602件 [詳細] filetsuchiyalab2013.pdf 2527件 [詳細] filemember_small.jpg 1861件 [詳細] filesuisou.JPG 2191件 [詳細] filetsuchiyalab2012.pdf 2930件 [詳細] filemembers.JPG 2557件 [詳細]

トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2016-05-14 (土) 08:16:50 (108d)