Selfie outside my office at Research Building Number 15 in Kyoto University 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.


Research Projects discusses our research projects with related publications.
Curriculum Vitae provides my CV.
About 橋 contains informal descriptions of myself.