Researchers Information
Photo



Books, Original Papers & Review Papers
Name
SUMII Eijiro
Affiliation
Graduate School of Information Sciences
Department of Computer and Mathematical Sciences
Software Science and Systems
Foundations of Software Science
Title
Professor
Academic Degree
Ph.D. (Information Science and Technology)
Research Fields
  • Fundamental informatics
  • Software
display all
Keywords
Programming Language Theory, Foundations of Software Science, Functional Programming, Security, Type Systems, Lambda-Calculus, Pi-Calculus
Academic Society Membership
  • Association for Computing Machinery
  • Japan Society for Software Science and Technology
  • Information Processing Society of Japan
display all
Activity of Academic Society (Post)
  • 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016), Program Chair(2016)
  • International Federation for Information Processing (IFIP) Working Group (WG) 2.8 (Functional Programming), Member(2014-)
  • Journal of Functional Programming (Cambridge University Press), Editorial Board Member(2009-2013)
display all
Books

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016.[ACM,(2016)]Jacques Garrigue, Gabriele Keller, Eijiro Sumii
ISBN978-1-4503-4219-3


Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings (Lecture Notes in Computer Science 8475).[Springer,(2014)]Michael Codish, Eijiro Sumii
ISBN978-3-319-07150-3


TYPES AND PROGRAMMING LANGUAGES.[オーム社,(2013)]Benjamin C. Pierce 著, 住井英二郎 監訳, 遠藤侑介 他 訳
ISBN978-4-274-06911-6


数理的技法による情報セキュリティ.[共立出版,(2010)]萩谷昌巳, 塚田恭章 編, 住井英二郎 他 著
ISBN978-4-320-01950-8


Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008.[ACM,(2008)]Eijiro Sumii
ISBN978-1-60558-062-3


display all
Original Papers

A bisimulation for type abstraction and recursion.[J. ACM,54(5),(2007),26:1-26:43]Eijiro Sumii, Benjamin C. Pierce
10.1145/1284320.1284325


A bisimulation-like proof method for contextual properties in untyped lambda-calculus with references and deallocation.[Theor. Comput. Sci.,411(51-52),(2010),4358-4378]Eijiro Sumii
10.1016/j.tcs.2010.09.009


Environmental bisimulations for higher-order languages.[ACM Trans. Program. Lang. Syst.,33(1),(2011),5:1-5:69]Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
10.1145/1889997.1890002


Logical Relations for Encryption.[Journal of Computer Security,11(4),(2003),521-554]Eijiro Sumii, Benjamin C. Pierce


MinCamlコンパイラ.[コンピュータ ソフトウェア,25(2),(2008),28-38]住井, 英二郎
10.11309/jssst.25.2_28


display all
Review Papers

Preface for special section from FLOPS 2014.[J. Funct. Program.,26(e14), (2016), 1-2]Michael Codish, Eijiro Sumii
10.1017/S0956796816000149


若手アカデミーの発足.[学術の動向,21(3), (2016), 3_118-3_120]住井, 英二郎
10.5363/tits.21.3_118


いまさら聞けない! コンピュータの数学:1. プログラミング言語の数学.[情報処理,56(5), (2015), 434-437]住井, 英二郎


spi計算における暗号プロトコルの形式的検証(<特集>数理的技法による情報セキュリティ).[応用数理,17(4), (2007), 280-290]住井, 英二郎


数理科学的バグ撲滅方法論のすすめ.[日経BP社 日経ITPro, (2006)]住井 英二郎


display all
Honours, Awards and Prizes
  • 第25回日本IBM科学賞(コンピューター・サイエンス分野)(2011)
  • 第9回(平成24年度)日本学術振興会賞(2013)
  • 第2回マイクロソフトリサーチ日本情報学研究賞(基礎的情報学分野)(2010)
  • 2004年度上期未踏ソフトウェア創造事業天才プログラマー/スーパークリエータ(2005)
  • The Third Annual ICFP Programming Contest (1st Place)(2000)
display all
Web Site
http://www.kb.ecei.tohoku.ac.jp/~sumii/
Updated on
2018.02.02
JapaneseTop
copyright(c)2005 Tohoku University