基本情報

所属
東京工業大学 情報理工学院 助教
学位
博士(理学)(京都大学)

J-GLOBAL ID
201801009202421461

外部リンク

プログラム言語の理論、特に表示的意味論を中心に研究しています。確率的プログラムの差分プライバシーやその他統計的性質の(型システムに基づく)形式的検証に取り組んでいます。

論文

  13

MISC

  1

講演・口頭発表等

  17