小林 直樹

小林 直樹こばやし なおき

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

居室 理7号館5階505号室
電話番号 03-5841-4124 | 24124(内線)


研究分野

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

研究テーマ

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

研究内容の概要

キーワード

外部リンク