KOBAYASHI Naoki
| Name | 小林 直樹 / KOBAYASHI Naoki |
|---|---|
| Degree | PhD |
| Occupation | Professor |
| Affiliation | Graduate School of Information Science and Technology |
| Affiliation site URL | https://www.i.u-tokyo.ac.jp/index_e.shtml |
| Specialty | Programming Languages |
| Research theme(s) | program verification |
| Keywords related to research themes | type theory,model checking |
| Scopus Link to individual page | Scopus |
KAKEN (Latest 10)
| Review Section/Research Field | |
|---|---|
| Keywords |
