Rchr

J-GLOBAL ID：200901098649003821 Update date: Sep. 01, 2024

Sumii Eijiro

スミイエイジロウ | Sumii Eijiro

Affiliation and department：
Job title： Professor
Homepage URL (1)： http://www.kb.ecei.tohoku.ac.jp/~sumii/

Research field (2)： Software , Information theory

Research keywords (7)： Pi-Calculus , Lambda-Calculus , Type Systems , Security , Functional Programming , Foundations of Software Science , Programming Language Theory

Research theme for competitive and other funds (14)：

2020 - 2025 安全・高信頼ソフトウェアシステムのための高階・型付き・並行プログラミング言語理論
2015 - 2020 Development of theory and application of programming based on higher-order/typed calculi
2016 - 2019 New reational program semantics based on the notion of continuations and contexts
2013 - 2016 Studies for Non-Monotone Recursion
2011 - 2016 Higher-Order Model Checking and its Applications

Show all

Papers (67)：

KIM Jaebyeog, SUMII Eijiro. Polymorphic Gradual Typing with Holes. 日本ソフトウェア科学会大会講演論文集(Web). 2020. 37th
佐藤駿太朗, 住井英二郎. 型システムを用いたロックフリースタックの検証. 日本ソフトウェア科学会大会講演論文集(Web). 2020. 37th
NAKAMURA Kenji, SAITO Shin, SUMII Eijiro, WATANABE Takashi, CHEN Qiang, ITO Akinori. 3A04 PBL Training in Freshman Orientation Camp:First-Year Experience at Dept. of Electrical, Information and Physics Engineering, Tohoku Univ. Proceedings of Annual Conference of Japanese Society for Engineering Education. 2019. 2019. 276-277
Masayuki Mizuno, Eijiro Sumii. Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion. Programming Languages and Systems - 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings. 2019. 181-201
Masayuki Mizuno, Eijiro Sumii. Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name. Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings. 2018. 1-16

ｍore...

MISC (15)：

SUMII Eijiro. The 1st Asian National Young Academy Meeting. TRENDS IN THE SCIENCES. 2017. 22. 9. 9_105-9_106
住井, 英二郎. パネルディスカッション「若手科学者と研究費」 (特集若手科学者の現在と課題 : 若手科学者サミット). 学術の動向 = Trends in the sciences. 2017. 22. 12. 62-64
住井, 英二郎. 私の非研究. コンピュータソフトウェア. 2016. 33. 2. 2_92-2_93
住井, 英二郎. 若手アカデミーの発足. 学術の動向. 2016. 21. 3. 3_118-3_120
Michael Codish, Eijiro Sumii. Preface for special section from FLOPS 2014. J. Funct. Program. 2016. 26. e14. 1-2

ｍore...

Books (6)：

プログラム意味論の基礎
サイエンス社 2020 ISBN:9784781914831
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016
ACM 2016 ISBN:9781450342193
Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings (Lecture Notes in Computer Science 8475)
Springer 2014 ISBN:9783319071503
TYPES AND PROGRAMMING LANGUAGES
オーム社 2013 ISBN:9784274069116
数理的技法による情報セキュリティ
共立出版 2010 ISBN:9784320019508

ｍore...

Lectures and oral presentations (83)：

RustへのFractional Ownershipの動的検査の導入
(第26回プログラミングおよびプログラミング言語ワークショップ(PPL 2024) 2024)
構造化グラフの正規化の証明
(第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023) 2023)
複数参加者非同期セッション型の一般プロセス型への変換
(第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023) 2023)
LEGO Education SPIKE PrimeのMicroPython環境における関数型リアクティブプログラミング
(第25回プログラミングおよびプログラミング言語ワークショップ(PPL 2023) 2023)
定理証明支援器Coqを用いた計算量の証明の改良
(PPL 2021: 第23回プログラミングおよびプログラミング言語ワークショップ 2021)

ｍore...

Works (1)：

MinCaml
2005 -

Education (2)：

- 2001 The University of Tokyo Graduate School, Division of Science Department of Information Science
- 1998 The University of Tokyo Faculty of Science Department of Information Science

Professional career (1)：

Ph.D. (Information Science and Technology) (The University of Tokyo)

Work history (6)：

2010/11 - 現在 Science Counsil of Japan Member Member of the Young Academy of Japan, etc.
2005/05 - 現在 Graduate School of Information Sciences, Tohoku University Associate Professor (-2014), Professor (2014-)
2003/04 - 2005/03 Department of Computer and Information Science, School of Engineering and Applied Science, University of Pennsylvania Research Associate
2001/04 - 2003/03 Interfaculty Initiative in Information Studies, University of Tokyo Assistant Professor
2000/04 - 2001/03 日本学術振興会特別研究員(DC1)

Show all

Committee career (48)：

2018/07 - 現在 Journal of Functional Programming (Cambridge University Press) Editor
2016/09 - 現在 Journal of Functional Programming (Cambridge University Press) Guest Editor
2014/08 - 現在 International Federation for Information Processing (IFIP) Working Group (WG) 2.8 (Functional Programming) Member
2009/04 - 現在日本ソフトウェア科学会学会誌『コンピュータソフトウェア』(岩波書店)編集委員
2014/12 - 2018/10 21st ACM SIGPLAN International Conference on Functional Programming Steering Committee Member

2017/01 - The 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) Program Committee Member

2016/09 - 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016) Program Chair

2014/06 - 2016/03 International Symposium on Functional and Logic Programming (FLOPS) Steering Committee Chair

2014/04 - 2016/03 日本ソフトウェア科学会プログラミング論研究会運営委員長

2011/04 - 2016/03 日本ソフトウェア科学会プログラミング論研究会運営委員

2015/09 - 日本ソフトウェア科学会第32回大会プログラム委員

2014/09 - 日本ソフトウェア科学会第31回大会プログラム委員

2014/07 - WPTE 2014: First International Workshop on Rewriting Techniques for Program Transformations and Evaluation Program Committee Member

2014/06 - Twelfth International Symposium on Functional and Logic Programming (FLOPS 2014) Program Co-Chair, General Chair

2014/01 - ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation (PEPM'14) Program Committee Member

2009/01 - 2013/12 Journal of Functional Programming (Cambridge University Press) Editorial Board Member

2013/01 - POPL 2013: 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages External Review Committee: Member

2012/09 - HOPE 2012: The 1st ACM SIGPLAN Workshop on Higher-Order Programming with Effects Program Committee Member

2012/09 - Scheme 2012: Workshop on Scheme and Functional Programming Program Committee Member

2012/09 - ICFP 2012: The 17th ACM SIGPLAN International Conference on Functional Programming Program Committee Member

2012/09 - Haskell Symposium 2012 Program Committee Member

2012/01 - Fourteenth International Symposium on Practical Aspects of Declarative Languages: PADL'12 Program Committee Member

2010/10 - 2011/09 The ACM SIGPLAN Workshop on ML Steering Committee Chair

2008/09 - 2011/09 The ACM SIGPLAN Workshop on ML Steering Committee Member

2011/09 - ICFP 2011: The 16th ACM SIGPLAN International Conference on Functional Programming Programming Contest Chair

2009/04 - 2011/03 情報処理学会東北支部会計幹事

2010/11 - 2010/12 APLAS 2010: Eighth Asian Symposium on Programming Languages and Systems Program Committee Member

2010/09 - 日本ソフトウェア科学会第27回大会プログラム委員

2010/04 - FLOPS 2010: Tenth International Symposium on Functional and Logic Programming Local Chair

2008/09 - The 2008 ACM SIGPLAN Workshop on ML Program Chair

2008/06 - ACM SIGPLAN Third Workshop on Programming Languages and Analysis for Security (PLAS 2008) Program Committee Member

2008/03 - 2008/04 ESOP'08: 17th European Symposium on Programming Program Committee Member

2008/03 - 第10回プログラミングおよびプログラミング言語ワークショップ: PPL2008 プログラム共同委員長

2008/01 - The 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Program Committee Member

2007/11 - 2007/12 The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007) Program Committee Member

2007/11 - 2007/12 The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007) Poster Chair

2007/07 - Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis: FCS-ARSPA'07 Program Committee Member

2007/06 - ACM SIGPLAN Workshop on Programming Languages and Analysis for Security Program Committee Member

2006/11 - The Fourth ASIAN Symposium on Programming Languages and Systems (APLAS 2006) Poster Chair

2006/09 - ESORICS 2006: 11th European Symposium On Research In Computer Security Program Committee Member

2006/04 - Eighth International Symposium on Functional and Logic Programming: FLOPS 2006 Program Committee Member

2006/03 - 第8回プログラミングおよびプログラミング言語ワークショップ(PPL2006) プログラム委員

2005/09 - 日本ソフトウェア科学会第22回大会プログラム委員

2005/09 - The 2005 ACM SIGPLAN Workshop on ML Program Committee Member

2005/03 - 第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005) プログラム委員

2004/09 - The 2004 International Conference on Functional Programming (ICFP) Programming Contest Organizer

2003/08 - 8th ACM SIGPLAN International Conference on Functional Programming (ICFP 2003) Program Committee Member

2001/10 - 2003/03 日本ソフトウェア科学会企画委員

Show all

Awards (13)：

2014/02/04 - 情報処理学会ソフトウエアジャパンアワード
2013/02/04 - 日本学術振興会第9回(平成24年度)日本学術振興会賞
2012/04/14 - 船井情報科学振興財団第11回船井学術賞
2011/12/01 - 日本IBM 第25回日本IBM科学賞(コンピューター・サイエンス分野)
2011/11/18 - 東北大学電気通信研究所第1回RIEC Award東北大学研究者賞

Show all

Association Membership(s) (3)：

Information Processing Society of Japan , Japan Society for Software Science and Technology , Association for Computing Machinery

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page