Susumu Nishimura

Susumu Nishimura

 

Name

Susumu Nishimura

 

Primary department

Org1 Org2 Org3 Job title
Graduate School of Science Mathematics and Mathematical Sciences   Associate Professor

URL

http://www.math.kyoto-u.ac.jp/~susumu/

 

Research Topics

Theory of Programming Language

 

Overview of your research

I study the theory of programming languages, which develops the semantics of computer programs (how they work) and analyses the behaviour of them on a firm mathematical ground.
By the recent emergence of computers thoughout the society, there is a crucial demand for the safe reliable computer systems. However, the reality is that we are surrounded by imperfect systems that may cause severe damages. It is difficult to consturct a reliable computer system and even to write a computer program correctly. For the sake of methodlogy for building correct and safe computer programs and systems, we need a deep understanding on the behaviour of progrmas, to which the theory of programming languages can significantly contribute.

 

Fields of research (key words)

Computer Science