基本情報

所属
国立研究開発法人産業技術総合研究所 デジタルアーキテクチャ研究センター 主任研究員
学位
博士(情報理工学)(2010年3月 東京大学)

研究者番号
60760006
ORCID ID
 https://orcid.org/0000-0002-2151-9560
J-GLOBAL ID
201201089843679034

研究概要

情報セキュリティとソフトウェア科学の基礎理論、特に確率的プログラム・プロトコル・システムの設計・解析・検証に関して研究しています。特に、以下の2種類のアプローチやその融合に取り組んでいます。

  • 記号的アプローチ(数理論理、形式検証など)
  • 確率的アプローチ(情報理論、推測統計、機械学習など)

 

最近の主な研究テーマ
  1. 確率的システムや量的性質のための形式検証技術
  2. 機械学習システムの仕様記述や品質保証
  3. プライバシ保護メカニズムの基礎理論

2020-09 統計的機械学習の性質(性能、頑健性、公平性など)を様相論理で記述する手法についての単著論文 "An epistemic approach to the formal specification of statistical machine learning" が学術誌 Software and Systems Modeling に掲載されました。


研究キーワード

  1

主要な論文

  30

書籍等出版物

  1
  • 川本 裕輔(担当:分担執筆, 範囲:形式手法の計算論的健全性)
    朝倉書店  2013年11月 (ISBN: 9784254111415) 

MISC

  4

講演・口頭発表等

  45

Works(作品等)

  3

主要な共同研究・競争的資金等の研究課題

  11

社会貢献活動

  1