東京工業大学 情報理工学院
数理･計算科学系 教授
南出　靖彦

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

〒152-8552 東京都目黒区大岡山2-12-1 W8-53
東京工業大学情報理工学院数理･計算科学系
Email：minamide@is.titech.ac.jp
Tel: 03-5734-3877

学会･イベント等:

• TPP 2023