米澤研究室

研究室紹介

米澤明憲教授
- 平成二十一年秋の紫綬褒章受章について(大学院情報理工学系研究科)
- 私のソフトウェア研究, コンピュータソフトウェア, 21(4), 2004 (pdf)
研究室概要 (pdf)
研究室までの案内図
主なプロジェクト・研究グループ
- 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³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 (田浦研究室との共同研究)
- 昔のプロジェクト
メンバーリスト
主な研究成果
- 発表論文リスト(英語・日本語)
- 学位論文リスト
- 新聞・雑誌記事・賞
- 米澤研究室のFTPサーバ (HTTP に移行しました)