 |
| 
 | |
-
Name
- SUMII Eijirou
|
|
-
Affiliation
- Graduate School of Information Sciences
Department of Computer and Mathematical Sciences
Software Science and Systems
Foundations of Software Science
|
|
-
Title
- Associate Professor
|
|
-
Academic Degree
- Ph.D. in Information Science and Technology
|
|
Research Fields
- Fundamental informatics
- Software
|
| display all |
|
-
Keywords
- Programming Languages, Software, Security, Type Theory, Lambda Calculus, Pi Calculus, Functional Languages, ML
|
|
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)
- The 2008 ACM SIGPLAN Workshop on ML, Program Chair(2008)
- The 4th Programming and Programming Languages Summer School 2006, Lecturer(2006)
- The 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011), Programming Contest Chair(2011)
|
| display all |
|
-
Books
- Formal Approach to Information Security.[Kyoritsu Shuppan (Publisher),(2010)]Masami Hagiya and Yasuyuki Tsukada ed., Eijiro Sumii et al.
|
| display all |
|
-
Original Papers
- A Bisimulation for Type Abstraction and Recursion.[Journal of the ACM,54(5-26),(2007),1-43]Eijiro Sumii and Benjamin C. Pierce
10.1145/1284320.1284325
- A bisimulation-like proof method for contextual properties in untyped lambda-calculus with references and deallocation.[Theoretical Computer Science,411(51-52),(2010),4358-4378]Eijiro Sumii
10.1016/j.tcs.2010.09.009
- A Bisimulation for Dynamic Sealing.[Theoretical Computer Science,375(1-3),(2007),169-192]Eijiro Sumii and Benjamin C. Pierce
10.1016/j.tcs.2006.12.032
- Logical Relations for Encryption.[Journal of Computer Security,11(4),(2003),521-554]Eijiro Sumii and Benjamin C. Pierce
- The MinCaml Compiler.[Computer Software,25(2),(2008),28-38]Eijiro Sumii
|
| display all |
|
-
Review Papers
- Formal Verification of Cryptographic Protocols in the Spi Calculus.[Iwanami Shoten (Publisher) Bulletin of the Japan Society for Industrial and Applied Mathematics,17(4), (2007)]Eijiro Sumii
- Tutorial: Formal Verification of Encrypted Communication in spi-Calculus.[Iwanami Shoten (Publisher) Computer Software,20(6), (2003), 75-84]Eijiro Sumii
|
| display all |
|
Honours, Awards and Prizes
- 日本学術振興会賞(2013)
- 船井学術賞(2012)
- IBM Japan Science Prize(2011)
- MSR Japan New Faculty Award(2010)
- "Super-Creator" in Exploratory Software Project(2005)
|
| display all |
|
| Activity of External Organization
|
| display all |
|
-
Updated on
- 2012.12.18
|
| |
|
| |
