Japanese
Yoshihito Toyama
Professor
Computing Information Theory
- Address:
-
Research Institute of Electrical Communication,
Tohoku University
2-1-1 Katahira, Aoba-ku, Sendai, 980-8577, Japan
- E-mail:
-
- Office:
- Room M516, 5th Floor, RIEC Main Building
Research Interests
- Term Rewriting Systems
- Automated Theorem Proving
- Foundations of Software
Profile
Yoshihito Toyama was born in 1952. He received his B.E. from
Niigata University in 1975, and his M.E. and Ph.D. from Tohoku
University in 1977 and 1990. He worked as a Research Scientist at NTT
Laboratories from 1977 to 1993, and as a Professor at the Japan
Advanced Institute of Science and Technology (JAIST) from 1993 to
2000. Since April 2000, he has been a professor of the Research
Institute of Electrical Communication (RIEC), Tohoku University. His
research interests include term rewriting systems, program theory, and
automated theorem proving. He is a member of IEICE, IPSJ, JSSST, ACM,
and EATCS.