PEOPLE

English

小林 直樹

名前 小林 直樹 / KOBAYASHI Naoki
学位 博士(理学)(東京大学)
職名 教授
所属 大学院情報理工学系研究科
コンピュータ科学専攻コンピュータ科学講座
所属サイトURL http://www.i.u-tokyo.ac.jp/別ウィンドウで開く
専門分野 プログラミング言語
研究テーマ プログラム検証
研究テーマに関するキーワード 型理論,モデル検査
実績等URL http://www-kb.is.s.u-tokyo.ac.jp/別ウィンドウで開く
Scopusページへのリンク Scopus別ウィンドウで開く

科研費(最新10件)

審査区分/研究分野
研究課題キーワード

研究課題

関連するページ

アクセス・キャンパスマップ
閉じる
柏キャンパス
閉じる
本郷キャンパス
閉じる
駒場キャンパス
閉じる