Naoki Kobayashi (Preferred)
Naoki Kobayashi
Pronouns: he/him
Full Professor, Department of Computer Science, The University of Tokyo
- Joined May 2025
Names
Emails
****@is.s.u-tokyo.ac.jp (Confirmed)
Personal Links
Career & Education History
Full Professor
Department of Computer Science, The University of Tokyo (u-tokyo.ac.jp)
2012 – Present
Advisors, Relations & Conflicts
Expertise
program verification
1993 – Present
programming languages
1991 – Present