SATO, Masahiko

Professor

Department of Intelligence Science and Technology
Graduate School of Informatics
Kyoto University
Kyoto 606-8501, Japan

Phone: +81-75-753-5868
Fax: +81-75-753-4954
Email: masahiko@kuis.kyoto-u.ac.jp
Office: Engineering Bld. 10, Room 133

Areas of Interest:

• Theory of Programs
• Constructive Mathematics
• Type Theory

Representative Publications:

• author(s),M. Sato, T. Sakurai, R. Burstall
  title,Explicit Environments
  Journal, volume, pages (year). Fundamenta Informaticae vol. 45, 79--115 (2001)
• author(s), M. Sato, Y. Kameyama
  title, Strong normalizablitiy of the non-deterministic chatch/throw calculi
  Journal, volume, pages (year). Theoretical Computer Science, to appear (2001)
• author(s),M. Sato,Y. Kameyama
  title, A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability
  Journal, volume, pages (year). Australian Computer Science Communications, 20, Number 3 ,183--197. (1998)
• author(s),M. Sato
  title, Classical Brouwer-Heyting-Kolmogorov interpretation
  Journal, volume, pages (year). Lecture Notes in Artificial Intelligence, 1316, 176--196 (1997)
• author(s),M. Sato
  title, Intuitionistic and Classical Natural Deduction Systems with the Catch and Throw Rules,
  Journal, volume, pages (year). Theoretical Computer Science, 175, 75 -- 92(1997)

Academic Degree: Doctor of Mathematics (Kyoto Univ.)

Academic Society: Mathematical Society of Japan, Japan Society for Software Science and Technology, Information Processing Society of Japan, Japanese Society for Artificial Intelligence

Courses

• Graduate Courses:
  Foundation of Software Science, Introduction to Information Science

• Undergraduate Courses:
  Theory and Practice of Programming, Introduction to Programming, Computation and Logic

Further Informations:

• my homepage
• Department of Intelligence Science and Technology Homepage

Last Updated: June 14, 2001