基本情報

所属
京都大学 特定講師
学位
博士(情報学)(京都大学)

J-GLOBAL ID
201101027486642825

数学・論理学・計算機科学の境界あたりに興味があります。
最近の主な研究内容はプログラムの形式的検証に関連する話題です。
アルゴリズムや計算量、最適化、機械学習などにも興味を持っています。

論文

  16

講演・口頭発表等

  5

所属学協会

  2