Kobayashi Laboratory
Kobayashi Laboratory
The University of Tokyo · Department of Computer Science
About
Prof. Naoki Kobayashi at The University of Tokyo Department of Computer Science lists software theory, programming languages, program verification, program transformation as their registered research area.
Research keywords
Other labs in this department
- Aizawa Laboratory
Akiko Aizawa
text media, knowledge processing
- Yamasaki Laboratory
Hayata Yamasaki
quantum information, quantum computation, quantum computers
- Yanaka Laboratory
Hitomi Yanaka
machine learning, symbolic logic, computational linguistics, semantic analysis
- Sato Laboratory
Imari Sato
computer vision, computational photography, medical imaging
- Sato Laboratory
Issei Sato
machine learning, prediction uncertainty, feature representation learning, medical applications
- Kawarabayashi Laboratory
Ken-ichi Kawarabayashi
graph algorithms, discrete mathematics, graph coloring, machine learning