末永 幸平

最終更新日時:2017/11/17 14:40:03

印刷する

氏名(漢字/フリガナ/アルファベット表記)
末永 幸平/スエナガ コウヘイ/Kohei Suenaga
所属部署・職名(部局/所属/講座等/職名)
情報学研究科/通信情報システム専攻コンピュータ工学講座/准教授
学部兼担
部局 所属 講座等 職名
工学部 工学部
取得学位
学位名(日本語) 学位名(英語) 大学(日本語) 大学(英語) 取得区分
修士(情報理工学) 東京大学
博士(情報理工学) 東京大学
出身大学院・研究科等
大学名(日本語) 大学名(英語) 研究科名(日本語) 研究科名(英語) 専攻名(日本語) 専攻名(英語) 修了区分
東京大学 大学院情報理工学系研究科コンピュータ科学専攻修士課程 修了
東京大学 大学院情報理工学系研究科コンピュータ科学専攻博士課程 修了
出身学校・専攻等
大学名(日本語) 大学名(英語) 学部名(日本語) 学部名(英語) 学科名(日本語) 学科名(英語) 卒業区分
東京大学 理学部情報科学科 卒業
東京大学 教養学部理科一類
出身高等学校
高等学校名 ふりがな
宮崎県立宮崎西高等学校 みやざきけんりつみやざきにしこうとうがっこう
職歴
期間 組織名(日本語) 組織名(英語) 職名(日本語) 職名(英語)
2007/04/01〜2008/03/31 日本学術振興会 JSPS 特別研究員 (DC2) Research Fello (DC2)
2008/04/01〜2009/03/31 日本学術振興会 JSPS 特別研究員 (PD) Research Fellow (PD)
2009/04/01〜2010/03/31 日本アイ・ビー・エム(株)東京基礎研究所 IBM Research Tokyo リサーチャー Researcher
2010/04/01〜2011/01/31 リスボン大学理学部 Faculdade de Ciencia, Universidade de Lisboa 博士研究員 Investigador pos-doutorado
2011/02/01〜2011/03/31 京都大学情報学研究科 Department of Informatics, Kyoto University 特定研究員 Researcher
2011/04/01〜2012/03/31 日本学術振興会 JSPS 特別研究員 (PD) Research Fellow (PD)
2012/04/01〜2013/09/30 京都大学白眉センター The Hakubi Center for Advanced Reserach, Kyoto University 特定助教 Assistant Professor
2015/10/01〜 科学技術振興機構 JST さきがけ研究者(兼任)
研究テーマ
(日本語)
プログラム検証,特にハイブリッドシステム(連続的遷移と離散的遷移が共存するシステム)の形式検証.
(英語)
Program verification; formal verification for hybrid systems (i.e., systems that exhibit both discrete and continuous behavior) especially.
研究分野(キーワード)
キーワード(日本語) キーワード(英語)
ソフトウェア software
ハイブリッドシステム hybrid systems
プログラム検証 program verification
形式手法 formal methods
プログラミング言語理論 theory of programming languages
研究分野(科研費分類コード)
科研費分類コード
ソフトウエア
情報学基礎
外部資金:競争的資金・科学研究費補助金
種別 代表/分担 テーマ(日本語) テーマ(英語) 期間
特別研究員奨励費 並行プログラムのための型理論に基づく利便性の高い静的検証手法 2011〜2011
研究活動スタート支援 代表 無限小プログラミングによるハイブリッドシステムの形式検証手法 2012〜2013
若手研究(B) 代表 無限小プログラミングによるハイブリッドシステムの形式検証手法 2013〜2015
若手研究(B) 代表 無限小プログラミングによるハイブリッドシステムの形式検証手法 (平成26年度分) 2014/04/01〜2015/03/31
若手研究(B) 代表 無限小プログラミングによるハイブリッドシステムの形式検証手法 (平成27年度分) 2015/04/01〜2016/03/31
JST さきがけ 代表 ハイブリッドシステムのための超準プログラミング言語理論を用いた形式手法 Formal methods for hybrid systems based on the theory of nonstandard programming languages 2015/10/01〜2019/03/31
担当科目
講義名(日本語) 講義名(英語) 開講期 学部/研究科 期間
計算機科学実験及演習4 Computer Science Laboratory and Exercise 4 後期 工学部 2013/04〜2014/03
計算機科学実験及演習1 Computer Science Laboratory and Exercise 1 前期 工学部 2014/04〜2015/03
計算機科学実験及演習4 Computer Science Laboratory and Exercise 4 後期 工学部 2014/04〜2015/03
コンパイラ Compilers 後期 工学部 2014/04〜2015/03
プログラム意味論 Formal Semantics of Computer Programs 前期 情報学研究科 2014/04〜2015/03
並列分散システム論 Parallel and Distributed Systems 後期 情報学研究科 2014/04〜2015/03
コンピュータ工学特別セミナー Seminar on Computer Engineering, Advanced 通年 情報学研究科 2014/04〜2015/03
通信情報システム特別研究2 Advanced Study in Communications and Computer Engineering II 後期前期 情報学研究科 2014/04〜2015/03
通信情報システム特別研究1 Advanced Study in Communications and Computer Engineering I 通年 情報学研究科 2014/04〜2015/03
Advanced Study in CCE I Advanced Study in Communications and Computer Engineering I 通年 情報学研究科 2015/04〜2016/03
Advanced Study in CCE II Advanced Study in Communications and Computer Engineering II 通年 情報学研究科 2015/04〜2016/03
コンパイラ Compilers 後期 工学部 2015/04〜2016/03
並列分散システム論 Parallel and Distributed Systems 後期 情報学研究科 2015/04〜2016/03
ゲーム制作で学ぶ関数型プログラミング言語 Learning a functional programming language by game creating 前期 全学共通科目 2015/04〜2016/03
コンピュータ工学特別セミナー Seminar on Computer Engineering, Advanced 通年 情報学研究科 2015/04〜2016/03
プログラム意味論 Formal Semantics of Computer Programs 前期 情報学研究科 2015/04〜2016/03
計算機科学実験及演習1 Computer Science Laboratory and Exercise 1 前期 工学部 2015/04〜2016/03
計算機科学実験及演習2 Computer Science Laboratory and Exercise 2 後期 工学部 2015/04〜2016/03
計算機科学実験及演習3 Computer Science Laboratory and Exercise 3 前期 工学部 2015/04〜2016/03
計算機科学実験及演習4 Computer Science Laboratory and Exercise 4 後期 工学部 2015/04〜2016/03
通信情報システム特別研究2 Advanced Study in Communications and Computer Engineering II 後期集中 情報学研究科 2015/04〜2016/03
通信情報システム特別研究2 Advanced Study in Communications and Computer Engineering II 通年 情報学研究科 2015/04〜2016/03
通信情報システム特別研究1 Advanced Study in Communications and Computer Engineering I 通年 情報学研究科 2015/04〜2016/03
Advanced Study in CCE I Advanced Study in Communications and Computer Engineering I 通年 情報学研究科 2016/04〜2017/03
Advanced Study in CCE II Advanced Study in Communications and Computer Engineering II 通年 情報学研究科 2016/04〜2017/03
ILASセミナー ILAS Seminar 前期 全学共通科目 2016/04〜2017/03
Parallel and Distributed Systems Parallel and Distributed Systems 後期 情報学研究科 2016/04〜2017/03
コンピュータ工学特別セミナー Seminar on Computer Engineering, Advanced 通年 情報学研究科 2016/04〜2017/03
プログラム意味論 Formal Semantics of Computer Programs 前期 情報学研究科 2016/04〜2017/03
計算機科学実験及演習4 Computer Science Laboratory and Exercise 4 後期 工学部 2016/04〜2017/03
計算機科学のための数学演習 Mathematics in Practice for Computer Science 前期 工学部 2016/04〜2017/03
通信情報システム特別研究2 Advanced Study in Communications and Computer Engineering II 前期集中 情報学研究科 2016/04〜2017/03
通信情報システム特別研究2 Advanced Study in Communications and Computer Engineering II 通年 情報学研究科 2016/04〜2017/03
通信情報システム特別研究1 Advanced Study in Communications and Computer Engineering I 通年 情報学研究科 2016/04〜2017/03
Advanced Study in CCE I Advanced Study in Communications and Computer Engineering I 通年 情報学研究科 2017/04〜2018/03
Advanced Study in CCE II Advanced Study in Communications and Computer Engineering II 通年 情報学研究科 2017/04〜2018/03
Parallel and Distributed Systems Parallel and Distributed Systems 後期 情報学研究科 2017/04〜2018/03
コンピュータ工学特別セミナー Seminar on Computer Engineering, Advanced 通年 情報学研究科 2017/04〜2018/03
プログラム意味論 Formal Semantics of Computer Programs 前期 情報学研究科 2017/04〜2018/03
プログラミング言語処理系 Implementation of Programming Languages 前期 工学部 2017/04〜2018/03
計算機科学実験及演習3 Computer Science Laboratory and Exercise 3 前期 工学部 2017/04〜2018/03
計算機科学のための数学演習 Mathematics in Practice for Computer Science 前期 工学部 2017/04〜2018/03
通信情報システム特別研究2 Advanced Study in Communications and Computer Engineering II 前期集中 情報学研究科 2017/04〜2018/03
通信情報システム特別研究2 Advanced Study in Communications and Computer Engineering II 通年 情報学研究科 2017/04〜2018/03
通信情報システム特別研究1 Advanced Study in Communications and Computer Engineering I 通年 情報学研究科 2017/04〜2018/03

  • <<
  • >>
  • 表示
部局運営(役職等)
役職名 期間
情報セキュリティ作業委員会委員 2015/04/01〜2017/03/31
計算機小委員会委員 2015/04/01〜2017/03/31
ハラスメント窓口相談員 2015/04/01〜2016/03/31
図書WG委員 2016/04/01〜2017/03/31
情報セキュリティ作業委員会委員 2017/04/01〜2018/03/31
計算機小委員会委員 2017/04/01〜2018/03/31
図書WG委員 2017/04/01〜2018/03/31