末永 幸平

Twitter | Facebook | Linkedin | DBLP | Google Scholar | Microsoft Academic Search | 顔(実物よりだいぶ若い) | プロフィール | English version

論文・発表のリスト,担当授業,特許,その他の活動は researchmap.jp の末永のページをご参照ください.

1979年生。 東京大学 理学部 情報科学科 2003年卒。 東京大学 大学院情報理工学系研究科コンピュータ科学専攻 修士課程 2005年修了。同 博士課程 2008年修了。博士(情報理工学)。 日本アイ・ビー・エム(株) 東京基礎研究所 リサーチャー、 リスボン大学理学部 ポストドクター研究員、日本学術振興会特別研究員(PD)、 京都大学 白眉センター 特定助教を経て、 現在 京都大学 情報学研究科 准教授。ソフトウェアとハイブリッドシステムの形式手法に 基づく(半)自動検証手法に興味を持つ。日本ソフトウェア科学会正会員、 情報処理学会正会員、ACM会員。