西村 進

名前
西村 進
役職
准教授
Email
susumu (please add @math.kyoto-u.ac.jp)
URL
http://www.math.kyoto-u.ac.jp/~susumu
研究分野
計算機科学/プログラミング言語理論
プロフィール

コンピュータ・プログラムの振舞いを数理科学的な手法で定式化し、プログラムの正しさを検証や、プログラムの意味を変えずに別のプログラムに変換するための研究を行っています。