総合理工学院・情報理工学部 /   情報システム学科   クワバラ  ヒロアキ (男)   桑原   寛明 講師   Hiroaki  KUWABARA
■出身大学院・出身大学他
	2001年03月　名古屋大学工学部電気電子・情報工学科　卒業 2003年03月　名古屋大学大学院工学研究科計算理工学専攻　博士課程前期課程　修了 2006年03月　名古屋大学大学院情報科学研究科情報システム学専攻　博士課程後期課程　単位取得満期退学
■取得学位
	博士（情報科学） (2007/03 名古屋大学)
■所属学会
	日本ソフトウェア科学会、情報処理学会
■研究概要
	ソフトウェア開発における形式手法 ソフトウェアの信頼性の向上を目的として、並行計算モデルなどのモデル化技法、型理論に基づくプログラム解析、モデル検査によるソフトウェア検証といった数学を基盤とする技術を研究。
■研究分野(キーワード)
	並行計算モデル、プログラム意味論、ソフトウェア検証、プログラム解析
■研究業績一覧
	■著書     ■論文     ■研究発表等     ■その他研究活動     ■科学研究費補助金     ■競争的研究費(科研費を除く)     ■知的財産権     ■共同・受託研究実績     ■研究交流希望テーマ
■立命館大学研究高度化推進制度
	■立命館グローバル・イノベーション研究機構研究プログラム     ■研究推進プログラム     ■研究の国際化推進プログラム     ■学外研究員制度     ■ポストドクトラルフェロープログラム     ■研究専念教員制度     ■学術図書出版推進プログラム     ■個人研究費
■教育業績一覧
	■担当授業科目     ■教育活動
■関連URL
	個人のWebサイト 高性能計算機ソフトウェアシステム研究室
■研究分野(ReaD分類)
	■ソフトウエア

         || TOP ||