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.
専門領域: プログラミング言語理論
研究課題: 『ハイブリッドシステムのための超準解析を用いた静的検証手法』
子供の頃に祖母から足し算と漢字を習って以来、計算と言語に興味を持ち続けてきたように思います。大学院生の頃から計算と言語の接点とも言うべきプログラミング言語の研究、特にプログラムにある種のバグが無いことを数学的に保証する方法(プログラム検証)の研究を続けてきました。現在はこのプログラム検証の技術をハイブリッドシステムと呼ばれる、ソフトウェアの離散的な動作と物理・電気系の連続的な動作が入り混じったシステムに適用することを目指しています。「アイデアは異質なものを結びつけるところから発生する」とはアイザック・アシモフの言ですが、この研究もプログラミング言語理論、超準解析、微分方程式、制御理論と様々な役者が現れており、とても興味深いです。