西崎 真也 Shin-ya Nishizaki

[情報理工学院情報工学系／教授]
西崎 真也

理論を応用へ

プログラミング言語の理論的研究や、
ソフトウェアに関連する数理論理学をどのように応用していくかということについて研究しています。

MAIL
nisizaki@comp.isct.ac.jp
HP
http://www.lambda.cs.titech.ac.jp/
所在地
大岡山キャンパス 西8号館E棟 802
主担当系・コース
情報工学系 情報工学コース
研究キーワード
プログラミング言語理論、ソフトウェア検証論
教員一覧に戻る
ページ上部へ