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