西村 進

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

コンピュータ・プログラムの振舞いを数理科学的手法を用いて定式化し、プログラムの正しさの検証や、プログラム変換の分野で研究を行っています。近年は特に組合せ幾何的手法による分散コンピューティングの研究を重点的に行なっています。