Susumu NISHIMURA

Name
Susumu NISHIMURA
Title
associate professor
Email
susumu (please add @math.kyoto-u.ac.jp)
URL
http://www.math.kyoto-u.ac.jp/~susumu
Research Area
Computer Science/Theory of Programming Languages
Profile

My research area is theory of programming language, where mathematical methods are applied for formal modeling of programs' behavior. I am particularly interested in program verification, program transformation, and program derivation from specification.