​東京大学​理学部​情報科学科米澤研究室の 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 プロジェクト
  • Aspectual Caml: an aspect-oriented functional language (​増原研究室との共同研究)
  • XML処理言語のための型システム (​小林研究室との共同研究)
  • G'Caml (INRIA)
• 並列・分散計算グループ
  • ​Phoenix Grid Computing Project (​田浦研究室との共同研究)
• 更に昔のプロジェクト

成果

• 発表論文(英語)
• 発表論文(日本語)
• 学位論文
• 受賞
• 新聞・雑誌記事

---

研究室メンバー向け情報

• ミーティング
  • 全体ミーティング
  • System Software Seminar
  • Coq 輪講
  • Model Checking Seminar
  • ATTAPL Seminar
• 資料
• 計算機環境情報
• ​研究室図書検索システム
• ​学科部屋予約システム
• いろいろ