Selfie outside my office at Research Building Number 15 in Kyoto University I am a reseach assistant professor at Japan Advanced Institute of Science and Technology (JAIST). My main research area is within Programming Languages, Formal Methods, and Software Engineering. Currently, I am doing research with Prof. Aoki, Prof. Tomita, Prof. Riviere, and Prof. Duong under the project, Formal Methods and Verification Tools for Next-generation Automotive System Platforms.

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.

Ongoing Projects and Collaborations

Sitemap

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

GitHub: https://github.com/hc825b
ORCiD: https://orcid.org/0000-0001-8339-9915
LinkedIn: https://www.linkedin.com/in/hc825b

Past Projects

Project-Specific Researcher at Kyoto University

During PhD Study