Kohei Suenaga

末永幸平

English page

お知らせ

• まじめに Web ページを作ることにしました．編集しやすくするために GitHub Pages を使うことにしました．徐々に研究紹介を書いていきます．

研究

最近の研究

• ハイブリッドシステムの検証手法
• ブラックボックスシステムのための検証手法
• セキュアな遠隔モニタリング手法
• 機械学習モデルの解釈可能性向上手法
• スマートコントラクトの検証手法
• 型システムを用いたポインタを含む命令形プログラムの検証手法
• 統計的仮説検定や因果推論を行うプログラムの検証手法

昔の研究

• 多項式で記述できるプログラム不変条件の発見手法
• 型システムを用いた並行プログラムの検証手法
• 型システムを用いた XML 処理プログラムの高速化

業績リスト

• DBLP
• Researchmap
• ORCID
• 教育研究データベース

教育

• プログラミング言語処理系（京都大学工学部情報学科計算機科学コース3回生）
• 計算機科学実験及演習4（京都大学工学部情報学科計算機科学コース3回生）
• プログラム意味論（京都大学大学院情報学研究科）
• システム検証論 （京都大学大学院情報学研究科）

書籍

• 理論計算機科学事典（8.3節を執筆）
• プログラミング言語の形式的意味論入門
  • Glynn Winskel “The Formal Semantics of Programming Languages—An Introduction” の和訳
  • サポートサイト
  • 誤植等を見つけた方はこちらからご報告ください．

経歴

東京大学理学部情報科学科2003年卒．東京大学大学院情報理工学系研究科コンピュータ科学専攻修士課程2005年修了．同博士課程2008年修了，博士（情報理工学）．日本アイ・ビー・エム（株）東京基礎研究所リサーチャー，リスボン大学理学部ポストドクター研究員，日本学術振興会特別研究員（PD），京都大学白眉センター特定助教を経て，現在京都大学情報学研究科准教授．様々なシステムの形式検証手法を主軸としつつ，いろいろやっている．日本ソフトウェア科学会正会員，情報処理学会正会員，ACM会員．

連絡先

ksuenaga $ gmail dot com ($ を @ に，dot を . に置換してください．)