I am a postdoctoral researcher at Graduate School of Informatics in Kyoto University. My main research area is within Programming Languages, Formal Methods, and Software Engineering ([PL/FM/SE]). Currently, I am doing research in Computer Software Group and specifically working with Prof. Suenaga and Prof. Waga under the CyPhAI project.
My broad research direction is to obtain the provable safety assurance on cyber-physical systems (CPS) in addition to field testing and software simulation. Especially, my focus is on applying formal methods to verify CPS containing complex or underspecified components including distributed communication, incomplete vehicle dynamic model, vision based perception, and learning enabled controllers.