筑波大学大学院システム情報工学研究科
コンピュータサイエンス専攻
准教授

南出　靖彦

研究分野：　ソフトウェア検証、プログラミング言語の理論・実装

〒305-8573　茨城県つくば市天王台1-1-1
筑波大学システム情報工学研究科
コンピュータサイエンス専攻

研究室：　総合研究B棟1007,　総合研究B棟1025
Email：　minamide@score.cs.tsukuba.ac.jp
Tel: 029-853-5324, 5164
Fax: 029-853-6982