小林 直樹

小林 直樹 （こばやし なおき）

職名 教授
所属 情報理工学系研究科　情報科学科
メールアドレス


研究分野

プログラミング言語、理論計算機科学

研究テーマ

プログラム検証と変換、高階モデル検査、型システム、ソフトウェアセキュリティ

研究内容の概要

キーワード

外部リンク