HAMANA Makoto

ハマナマコト | HAMANA Makoto

Affiliation and department：
Job title： Associate Professor
Homepage URL (2)： http://www.cs.gunma-u.ac.jp/~hamana/ , http://www.cs.gunma-u.ac.jp/~hamana/

Research field (2)： Software , Theory of informatics

Research keywords (8)： category theory , foundations of computer science , program semantics , semantics , Theoretical Computer Science , Declarative Programming Languages , Programming Semantics , Categorical Algebra

Research theme for competitive and other funds (2)：

2004 - 2007 Modularity for Mata-Programming
2007 - 2009 A Theory of Inductive Data Types Involving Safe Pointers

Papers (32)：

M.Hamana. How to prove decidablity of equational theories with second-order computation analyser SOL. Journal of Functional Programming. 2020. accepted for publication
T. Aoto, M. Hamana, N. Hirokawa, A. Middeldorp J. Nagele, N. Nishida, K. Shintani, and H. Zankl. Confluence Competition 2018. the Leibniz International Proceedings in Informatics (LIPIcs). 2018. 108. 32:1-32:5
HAMANA Makoto. Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation. 14th International Symposium on Functional and Logic Programming (FLOPS 2018),. 2018. Lecture Notes in Computer Scie. 99-115
HAMANA Makoto. The Algebra of Recursive Graph Transformation Language UnCAL: Complete Axiomatisation and Iteration Categorical Semantics. Mathematical Structures in Computer Science. 2018. 28. 2. 287-337
Makoto Hamana. How to Prove Your Calculus is Decidable: Practical Applications of Second-order Algebraic Theories and Computation. Proceedings of the ACM on Programming Languages. 2017. 1. 22. 1-28

ｍore...

MISC (1)：

HAMANA MAKOTO. Term Rewriting with Variable Binding. Proceedings of The First International Workshop on Higher-Order Rewriting (HOR'02). 2002

Education (1)：

- 1998 University of Tsukuba Graduate School, Division of Engineering

Professional career (1)：

Ph.D (University of Tsukuba)

Work history (2)：

1999/04 - 2001/02 Univerity of Edinburgh, Scotland Visiting Academic
1998/04 - 2001/03 Japan Society for Promotion of Science JSPS Research Fellow PD

Committee career (10)：

2020 - 2020 ACM International Conference on Functional Programming (ICFP'20) Program Committee Member
2018 - 現在 Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'18), Program Committee Member
2016 - 13th International Symposium on Functional and Logic Programming (FLOPS'16) program committee member
2014 - 5th International Workshop on Mathematically Structured Functional Programming (MSFP'14) program committee member
2014 - 16th Workshop on Programming and Programming Languages (PPL 2014) PC member

Show all

Awards (7)：

2018/11 - Japan Society for Software Science and Technology JSSST 2018 Takasahi Award
2018/09 - Japan Society for Software Science and Technology JSSST 2018 Best Presentation Award
2018/05 - FLOPS 2018 Best paper award "Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation"
2016/03 - PPL presentation award
2012/11 - Gunma University Yokoyama Science and Technology Award Foundations of Dependable Software by Dependent Types

Show all

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

Return to Previous Page