データ・数理科学

佐藤哲也研究室（講師：佐藤哲也）

佐藤哲也研究室（講師：佐藤哲也）

研究領域（キーワード）

理論計算機科学，ソフトウェア科学，プログラミング言語

研究テーマ例

・差分プライバシーの形式的検証(定理証明支援系による形式化、自動検証システムの研究)
・プログラムの数学的モデルに関する理論的研究

研究室の紹介とメッセージ

プログラムの数学的モデルに関する理論的研究を行っています．最近ではデータベースのプライバシー保護手法の一つである差分プライバシーの研究に取り組んでおり，実用化を目指しています．

希望する共同研究分野	・ソフトウェア検証に関する研究 ・定理証明支援系による形式化