#norelated
* ディペンダビリティ工学講座 [#g554b087]

このページは, [[大阪大学>http://www.osaka-u.ac.jp/ja]] [[大学院情報科学研究科>http://www.ist.osaka-u.ac.jp/]] [[情報システム工学専攻>http://www.ist.osaka-u.ac.jp/japanese/ise/]] ディペンダビリティ工学講座 (土屋研究室) のページです.

(学部組織としては,[[基礎工学部>http://www.es.osaka-u.ac.jp/]] [[情報科学科計算機科学コース>http://www.ics.es.osaka-u.ac.jp/]] に所属しています.)

#ref(./members2016_resized.jpg,50%)

[[English Page]]

*[[学生を募集しています!>学生募集]] [#i5560fa7]

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

- 研究室説明リーフレット (2016年4月) 
#ref(./tsuchiyalab2016.pdf)

- [[研究業績>研究業績]]

* メンバー [#o7f1832e]

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

** 教員・スタッフ [#yda9c676]
- 教授 [[土屋 達弘:http://www-ise4.ist.osaka-u.ac.jp/~t-tutiya/]]
(t-tutiya)
- 准教授 [[中川 博之:http://www-ise4.ist.osaka-u.ac.jp/~h-nakagawa/index-j.html]] (nakagawa)
- 助教 小島 英春 (hkojima)
- 事務補佐 石川 美代 (m-ishikawa)

** 学生 [#mda28491]
*** D2 [#m9274544]
- 松原 正裕(masahiro.matsubara)

*** M2 [#f4382a7e]
- 小林 弘幸 (h-kobays)
- 小西 達也 (t-konisi)
- 長島 悠太 (y-nagasm)
- 妙見 侑祐 (y-myoken)
- 松井 勝利 (s-matsui)

*** M1 [#v7d9e0bc]
- 石丸 将生 (m-isimar)
- 金 浩 (k-kou)
- 島田 裕紀 (h-simada)
- 清水 真之介 (s-simizu)
- 土田 真也 (s-tutida)

*** B4 [#hb05b276]
- 川口 綾介 (r-kawagt)
- 永井 史優 (s-nagai)
- 東 和幸 (k-higasi)
- 本田 大雅 (t-honda)

*** 研究生 [#hb05b276]

** 修了生 [#v7d9e0bc]
- 徳山 瞬 (s-tokuym)
- [[佐伯 尚則:http://www-ise4.ist.osaka-u.ac.jp/~t-saiki/]] (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)
- 重岡 大樹 (s-daiki)
- 大橋 輝 (t-ohasi)
- 高橋 仁 (t-hitosi)
- 津田 宏軌 (h-tsuda)
- 中野 伸哉 (s-nakano)
- 高垣 輝起 (t-teruki)
- 外山 大夢 (h-toyama)

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

* 研究室内のページ [#tf174f29]
[[入り口>Local/top]]

トップ   編集 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS