Rchr
J-GLOBAL ID：201101087296226801
Update date: Nov. 14, 2024
Kimura Daisuke
キムラ ダイスケ | Kimura Daisuke
Affiliation and department：
Job title：
Associate professor
Research field (5)：
Information theory
, Information theory
, Information theory
, Information theory
, Information theory
Research keywords (6)：
Hoare logic
, Separation logic
, Program verification
, Lambda calculus
, Programming Languages
, Mathematical Logic
Papers (30)：
-
Kenji Saotome, Koji Nakazawa, Daisuke Kimura. Restriction on cut rule in cyclic-proof system for symbolic heaps. Theoretical Computer Science. 2024. 1019
-
Daisuke Kimura, Makoto Tatsuta, Mahmudul Faisal Al Ameen, Mirai Ikebuchi, Koji Nakazawa. Bi-Abduction in Separation Logic with Arrays and Lists for Program Analysis. Computer Software. 2024. 41. 1. 50-67
-
Syota Hashimoto, Daisuke Kimura. A formal proof for the three-colored triangle problem on Coq. Computer Software. 2023. 40. 3. 2-15
-
Tatsuya Abe, Daisuke Kimura. Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding. Journal of Applied Logics. 2023. 10. 4. 511-530
-
Tatsuya Abe, Daisuke Kimura. A typed lambda-calculus with first-class configurations. Journal of Logic and Computation. 2022. exac062
ｍore...
Work history (8)：
- 2023/04 - 現在 Toho University Faculty of Science Department of Information Science Associate professor
- 2016/04 - 2023/03 Toho University Department of Information Science, Faculty of Science Lecturer
- 2015/04 - 2016/03 Toho University Department of Information Science, Faculty of Science Part-time Lecturer
- 2010/04 - 2015/03 National Institute of Informatics Post-doctoral Researcher
- 2009/04 - 2010/03 University of Tokyo Graduate School of Information Science and Technology Research Student
- 2007/04 - 2009/03 National Institute of Informatics Post-doctoral Researcher
- 2003/04 - 2007/03 The Graduate University for Advanced Studies Department of Informatics Ph.D course student
- 2001/04 - 2003/03 Kyoto University. Department of Mathematics Master course student
Show all
Committee career (10)：
- 2023/10 - 2024/03 The 6th Asian Workshop on Philosophical Logic (AWPL 2024) Program Committee
- 2023/03 - 2024/03 PPL2024 OC chair
- 2022/09 - 2022/09 SLACS2022 Organizer
- 2020/03 - 2020/03 PPL2020 PC member
- 2019/03 - 2020/03 PPL2020 OC member
- 2019/01 - 2019/08 Implementation and Application of Functional Languages (IFL 2019) Program Committee
- 2018/03 - 2019/03 PPL2019 OC member
- 2016/03 - 2016/03 PPL2016 OC member
- 2015/03 - 2015/03 PPL2015 PC member
- 2015/03 - 2015/03 PPL2015 OC member (poster chair)
Show all
Awards (1)：
- 2022/09 - JSSST 26th Best Research Paper Award Spatial Factorization in Cyclic-Proof System for Separation Logic
Association Membership(s) (3)：
INFORMATION PROCESSING SOCIETY OF JAPAN
, ACM
, 日本ソフトウェア科学会
