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



Graduate School
Undergraduate School


Homepage
http://posl.ait.kyushu-u.ac.jp/~sato/
Academic Degree
Doctor of Information science
Field of Specialization
Programming language theory
Research
Research Interests
  • Theories of Programming Languages, Formal Methods
    keyword : Program verification, Higher-order functional programming languages, Type systems, Higher-order model checking
    2013.04~2018.06.
Academic Activities
Membership in Academic Society
  • ACM
  • Information Processing Society of Japan
  • Japan Society for Software Science and Technology