米澤研究室 (跡地) ( 東京大学 理学部 情報科学科) の WWW サーバへようこそ。
研究室紹介
過去のプロジェクト
- ディペンダブルシステムソフトウェア構築技術
- 組込みシステム向け情報セキュリティ技術 (Web archive)
- e-Society (安全なシステム記述言語および高信頼OS)
- 高安全なC言語，およびC++言語コンパイラの開発 (VITC)
- OS用型付きアセンブリ言語の設計・実装 (TALK, TOS, Kernel Mode Linux)
- プロトコル実装の形式的検証 (Applpi)
- Towards Formal Verification of Memory Properties using Separation Logic
- Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference
- セキュア コンパイラ プロジェクト
- L^3 Cover: a framework to build program verifiers for low-level languages
- Typed Computing プロジェクト
- 並列・分散計算グループ
- Phoenix Grid Computing Project ( 田浦研究室との共同研究)
- 更に昔のプロジェクト
成果
研究室メンバー向け情報
- ミーティング
- 資料
- 計算機環境情報
- 研究室図書検索システム
- 学科部屋予約システム
- いろいろ
