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

本研究室は，大阪大学 大学院情報科学研究科 情報システム工学専攻に所属しています．

また，基礎工学部 情報科学科にも所属しており，ソフトウェア科学・計算機科学コースの学部生（4年生）も在席しています．

本研究室では，高い信頼性（ディペンダビリティ）をもつ安全，安心な情報システムを実現するために， 特にソフトウェアの側面から，様々な研究を行っています．

たとえば，短時間で実行が可能で，かつ不具合の検出能力が高いテスト手法を研究しています． また，システムの機能のうち，どれが十分にテストされており，どれが不十分なのかを， 日本語や英語などで書かれた資料から機械的に分析できる仕組みも開発しています．

お知らせ

• 留学生で大学院進学を希望される方
  • 博士前期課程で修士号取得を目指す場合
    • 基本的には，一般入試を受験してください．配属される研究室は，ご自身の希望と試験の成績で決まります．
    • インフォーメーションテクノロジー英語特別コースの枠組みで受験したい場合は，大阪大学のアドミッション支援デスク (Admissions Assistance Desk (AAD))から申し込みしてください．申し訳ないのですが，直接お送り頂いた連絡には返信できません．
  • 博士後期課程で博士号取得を希望される方
    • 大阪大学のアドミッション支援デスク (Admissions Assistance Desk (AAD))から申し込みしてください．申し訳ないのですが，直接お送り頂いた連絡には返信できません．
• 研究生は受け入れていません
• Those who wish to participate in an exchange program, such as FrontierLab
  • Please contact the faculty member you wish to be supervised by directly.