Regular biography
Naoki Kobayashi is a professor at The University of Tokyo, Department of CS. His research interests include programming languages and program verification. He is affiliated with The University of Tokyo and holds the title of professor. His work focuses on programming languages and program verification, with a profile page available at https://www-kb.is.s.u-tokyo.ac.jp/index.html.en.
Scholar-generated biography
Naoki Kobayashi is a researcher in Computer Science at the University of Tokyo, specializing in theoretical aspects of concurrency and program verification. His work focuses on type systems for concurrent and higher-order programs, ensuring correctness and deadlock-freeness. Kobayashi has contributed to the development of type systems that align with modal mu-calculus model checking and has explored resource usage analysis and information flow control in concurrent systems. His research also includes the verification of higher-order programs using model checking and CHC-based techniques, as well as the design of linear logic programming paradigms for concurrency.