垣内 洋介

かきうち ようすけ

垣内 洋介 Yosuke Kakiuchi

情報学部 情報工学科 准教授
出身:大阪府寝屋川市(大阪府立四条畷高等学校)
y.kakiuchi.du@it-hiroshima.ac.jp

専門分野

ハードウェア/ソフトウェアの機能検証と設計自動化

担当科目

コンパイラ、オペレーティングシステム、組込みソフトウェア ほか

研究テーマ

  1. ハードウェアの形式検証
    高い信頼性が要求されるハードウェアの正しさ保証を、計算機によって行う技術の研究。
  2. シミュレーションベース検証
    大規模化するハードウェア/ソフトウェア設計の検証をシミュレーションによって効率よく行う技術の研究。
  3. 要求仕様解析
    設計の元となる要求仕様から有用な情報を分析・抽出し、後の工程に役立てる技術の研究。

ひとこと

自分の流儀が通用しないところに積極的に出ていくことが、新しい自分の発見・開拓につながります。ぜひ、いろいろチャレンジしてください。

その他(所属学会・団体など)

情報処理学会、IEEE

略歴

1997年3月 大阪大学大学院情報科学研究科 修了
1997年4月 大阪大学大学院情報科学研究科 助教
2012年4月 広島工業大学 助教