I am an assistant professor at Department of Computer Science, Tokyo Institute of Technology. Before that, I have been working as a researcher in several places such as National Institute of Informatics, INRIA Saclay, University of Nantes, Waseda Unversity, and Toshiba.
I completed my PhD in Computer Science at Waseda University at Tokyo, under the supervision of Professor Kazunori Ueda.
I am interested in the verification of cyber-physical systems or hybrid systems that consist of discrete and continuous changes over time. The scope of my research includes interval constraint programming and formal methods for hybrid systems.