search
search

小林 直樹

小林 直樹教授
KOBAYASHI Naoki
情報理工学系研究科 情報科学科
メールアドレス koba@is.s.u-tokyo.ac.jp
電話番号
居室
外部リンク

研究分野

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

研究テーマ

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

研究内容の概要

キーワード