研究分野： ソフトウェア検証、プログラミング言語の理論・実装
〒305-8573 茨城県つくば市天王台1-1-1 筑波大学システム情報系 大学院担当： システム情報工学研究科 コンピュータサイエンス専攻 研究室： 総合研究B棟1007, 総合研究B棟1025 Email： minamide@cs.tsukuba.ac.jp Tel: 029-853-5324, 5164 Fax: 029-853-6982
