Kyushu University Academic Staff Educational and Research Activities Database
Researcher information (To researchers) Need Help? How to update
Ryosuke Sato Last modified date:2019.09.03

Graduate School
Undergraduate School

Academic Degree
Doctor of Information science
Field of Specialization
Programming language theory
Research Interests
  • Theories of Programming Languages, Formal Methods
    keyword : Program verification, Higher-order functional programming languages, Type systems, Higher-order model checking
Academic Activities
Membership in Academic Society
  • ACM
  • Information Processing Society of Japan
  • Japan Society for Software Science and Technology