情報工学科

垣内 洋介

教員紹介

垣内 洋介KAKIUCHI Yosuke

情報学部 情報工学科 准教授

研究者情報

プロフィール

【専門分野】
○ハードウェア/ソフトウェアの機能検証と設計自動化
【担当科目】
コンパイラ 、 オペレーティングシステム 、 組込みソフトウェア ほか
【研究テーマ】
1.ハードウェアの形式検証 高い信頼性が要求されるハードウェアの正しさ保証を、計算機によって行う技術の研究。
2.シミュレーションベース検証 大規模化するハードウェア/ソフトウェア設計の検証をシミュレーションによって効率よく行う技術の研究。
3.要求仕様解析 設計の元となる要求仕様から有用な情報を分析・抽出し、後の工程に役立てる技術の研究。
【ひとこと】

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