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

Introduction

• Emeritus Professor Akinori Yonezawa
  • Professor Akinori Yonezawa's Final Lecture (in Japanese)
• Introduction of Yonezawa Group
• Members
• Route to Yonezawa Group

Old Projects

•  Dependable System Software Development Technology
•  Information Security for Embedded Systems (Web archive)
•  e-Society
• Secure Computing Project
  • Fail-safe C Compiler: A memory-safe ANSI-C Compiler
  • Kernel Mode Linux
• Typed Computing Project
  • Type Systems for XML Processing Languages
  • G'Caml
• Parallel/Distributed? Computing Group
  •  Phoenix Grid Computing Project (with Taura Lab)
• Older projects

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)
•  Laboratory Library Online Catalog (in Japanese)
•  Room Reservation System (Dept. of IS only)
• Miscellaneous Information (in Japanese)

---

 Yonezawa Group's previous WWW server