Welcome to the (site of) 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

Current Projects

• ​Dependable System Software Development Technology

Old Projects

• ​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