九州大学 研究者情報
研究者情報 (研究者の方へ)入力に際してお困りですか?
基本情報 研究活動 教育活動
佐藤 亮介(さとう りようすけ) データ更新日:2019.09.03

助教 /  システム情報科学研究院 情報知能工学部門 高度ソフトウェア工学講座


大学院(学府)担当

学部担当



ホームページ
就職実績-他大学
就職実績有
取得学位
博士(情報科学)
専門分野
プログラミング言語理論
活動概要
プログラミング言語理論,形式手法.特に高階関数型言語で書かれたプログラムの自動検証等の研究に従事.

九大関連コンテンツ

pure2017年10月2日から、「九州大学研究者情報」を補完するデータベースとして、Elsevier社の「Pure」による研究業績の公開を開始しました。
 
 
九州大学知的財産本部「九州大学Seeds集」