3月15日13時に第15期公募情報を公開いたしました。
4月1日13時より応募者登録サイトへの登録が可能です。
Information on the 15th call for applications was opened at 13:00 on 15 March.
Applicants can register on the registration website from 1 April at 13:00.
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!