Kohei SUENAGA Assistant ProfessorAlumni
  • Period
    3rd(Term: from Apr. 2012 to Mar. 2017)
    グローバル型
  • Research Interests
    Theory of programming languages
  • Research Topic
    Formal verification of hybrid systems based on non-standard analysis

Kohei’s grandmother taught him how to add two numbers and how to read Japanese characters when he was a little boy. That was the origin of his interest in calculation and languages. As a Ph.D. student, his interest in these two areas drew him towards the theory of programming languages, which can be seen as a point of contact between them. He has since been particularly interested in the formal verification of programs, or, in other words, how to mathematically guarantee that programs do not contain bugs. His current work applies this technique to hybrid systems ? systems that exhibit both discrete transition and continuous evolution. The SciFi giant Issac Asimov once said that an idea arises when two or more different things are amalgamated. Kohei tries to capture the spirit of this quote in his research, using the theory of programming languages, non-standard analysis, the theory of differential equations, and control theory amongst others. He hopes to encounter even more ideas through discussions with the other Hakubi researchers!