関山 太朗

氏名
関山 太朗
Taro Sekiyama
所属
国立情報学研究所
職名
助教
学位
博士(情報学)
経歴
京都大学で博士取得後、日本IBMを経て現職。
実務経験・研究分野
プログラミング言語理論。
プロフィール
確率的プログラムや機械学習プログラムの検証、機械学習の形式検証への応用に興味があります。
WEB サイト