- Susumu NISHIMURA
- associate professor
- susumu (please add
- Research Area
- Computer Science (Theory of Programming Languages, Distributed Computing Theory)
My research area is theory of programming language, where mathematical methods are applied for formal modeling of programs' behavior. I have been woking on the topics of program verification, program transformation, etc. Recently I am intensively working on application of combinatorial topological methods to distributed computing.