Welcome to the Yonezawa Group's WWW server, at ​the Department of Information Science, ​Faculty of Science, ​the University of Tokyo.

Introduction

• Professor Akinori Yonezawa
• Introduction of Yonezawa Group
• Members
• Route to Yonezawa Group

(under construction)

Projects

(under construction)

Achievements

• Publications in English?
• Publications in Japanese?
• Theses for Degrees
• Awards (in Japanese)
• News Stories and Magazine Articles (in Japanese)

---

Information for Group Members

• Meetings
  • General meeting
  • Model Checking Seminar (in Japanese)
  • System Software Seminar (in Japanese)
  • Coq Seminar (in Japanese)
• Documents (in Japanese)
• Our Computing Environment (in Japanese)
• ​Room Reservation System (Dept. of IS only)
• Miscellaneous Information (in Japanese)