Profile Information

Affiliation
京都大学 大学院情報学研究科 通信情報システム専攻 准教授
国立情報学研究所 客員准教授
アリゾナ州立大学 客員研究員
Degree
博士(情報理工学)(東京大学)

Other name(s) (e.g. nickname)
KS737006
Researcher number
70633692
J-GLOBAL ID
201401093199514640

External link

He received Ph.D. in Information Science and Technology from the University of Tokyo in 2008. He was a JSPS research fellow, a researcher in IBM Research Tokyo, a postdoctoral researcher at Lisbon University, an assistant professor in Hakubi Center for Advanced Research in Kyoto University. He joined Graduate School of Informatics, Kyoto University in 2013 as an associate professor. He is interested in formal verification of software and hybrid systems.

I love to bring an idea in a research field to a different field. I love to see an interaction between formal verification research and the other research field.

Papers

  47

Presentations

  34

Research Projects

  7

Misc.

  2

Research History

  14

Professional Memberships

  3

Social Activities

  3

Other

  4

Research Areas

  1