関山 太朗

京都大学で博士取得後、日本IBMを経て現職。

プログラミング言語理論。

確率的プログラムや機械学習プログラムの検証、機械学習の形式検証への応用に興味があります。