Welcome to the (site of) Yonezawa Group's WWW server, at [http://www.is.s.u-tokyo.ac.jp the Department of Information Science], [http://www.s.u-tokyo.ac.jp Faculty of Science], [http://www.u-tokyo.ac.jp the University of Tokyo]. = Introduction = * [/~yonezawa/home.html Emeritus Professor Akinori Yonezawa] * [/plain/yer/ Professor Akinori Yonezawa's Final Lecture (in Japanese)] * [wiki:LabIntro Introduction of Yonezawa Group] * [wiki:LabMembers Members] * [wiki:LabMap Route to Yonezawa Group] == Old Projects == * [http://www.crest-os.jst.go.jp/ Dependable System Software Development Technology] * [http://web.archive.org/web/20080518051320/http://kumikomisec.jp/ Information Security for Embedded Systems (Web archive)] * [http://web.yl.is.s.u-tokyo.ac.jp/e-society/ e-Society] * Secure Computing Project * [http://www.yl.is.s.u-tokyo.ac.jp/~oiwa/FailSafe-C.html Fail-safe C Compiler: A memory-safe ANSI-C Compiler] * [http://www.yl.is.s.u-tokyo.ac.jp/~tosh/kml/ Kernel Mode Linux] * Typed Computing Project * Type Systems for XML Processing Languages * [http://www.yl.is.s.u-tokyo.ac.jp/~furuse/gcaml G'Caml] * Parallel/Distributed Computing Group * [http://www.logos.ic.i.u-tokyo.ac.jp/phoenix/members.shtml Phoenix Grid Computing Project (with Taura Lab)] * [http://web.yl.is.s.u-tokyo.ac.jp/yl/projects.html Older projects] == Achievements == * [wiki:PublicationsEn Publications in English] * [wiki:PublicationsJa.ja Publications in Japanese] * [wiki:ThesesForDegrees Theses for Degrees] * [wiki:Awards.ja Awards (in Japanese)] * [wiki:NewsMagazine.ja News Stories and Magazine Articles (in Japanese)] ---- == Information for Group Members == * Meetings * [wiki:GeneralMeeting General meeting] * [wiki:private/ModelCheckingSeminar2008.ja Model Checking Seminar (in Japanese)] * [wiki:private/SystemSoftwareSeminar.ja System Software Seminar (in Japanese)] * [wiki:private/CoqSeminar.ja Coq Seminar (in Japanese)] * [wiki:private/Documents.ja Documents (in Japanese)] * [wiki:private/AdminIndex.ja Our Computing Environment (in Japanese)] * [http://aero.is.s.u-tokyo.ac.jp/ASP/Tosyo/book.aspx Laboratory Library Online Catalog (in Japanese)] * [http://www.is.s.u-tokyo.ac.jp/cgi-bin/cbag/ag.cgi Room Reservation System (Dept. of IS only)] * [wiki:private/MiscInfo.ja Miscellaneous Information (in Japanese)] ---- [http://web.yl.is.s.u-tokyo.ac.jp Yonezawa Group's previous WWW server]