Welcome
I am an Associate Professor at the Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University and the Department of Computer Science, School of Engineering, Kyoto University. My research focuses on formal verification methods for various systems, with particular emphasis on hybrid systems, smart contracts, and machine learning interpretability.
I am passionate about developing practical verification techniques that bridge the gap between theoretical foundations and real-world applications.
Latest Publications
- Loading publications...
Books
-
Encyclopedia of Theoretical Computer Science
Author of Section 8.3
Publisher Page -
Introduction to Formal Semantics of Programming Languages
Japanese translation of Glynn Winskel's "The Formal Semantics of Programming Languages—An Introduction"
If you find any errata, please report them here.