Profile Information

Affiliation
Associate Professor, Graduate School of Informatics Department of Communications and Computer Engineering, Kyoto University
National Institute of Informatics
Degree
博士(情報理工学)(東京大学)

Other name(s) (e.g. nickname)
KS737006
Researcher number
70633692
ORCID ID
 https://orcid.org/0000-0002-7466-8789
J-GLOBAL ID
201401093199514640
researchmap Member ID
7000009238

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

  57

Presentations

  37

Awards

  7

Research Projects

  14

Industrial Property Rights

  11

Misc.

  3

Professional Memberships

  3

Social Activities

  4

Other

  4

Research Areas

  1