英語

​東京大学​理学部​情報科学科米澤研究室の WWW サーバへようこそ。

研究室紹介

• 米澤 明憲 教授
• 研究室の概要
• 構成員
• 研究室までの案内図

(工事中)

プロジェクト

• 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
• 資料
• 計算機環境情報
• ​学科部屋予約システム
• いろいろ