Rchr
J-GLOBAL ID:201101087296226801   Update date: Feb. 10, 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 (29):
  • 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
  • Daisuke Kimura, Koji Nakazawa, Kenji Saotome. Cut-Elimination for Cyclic Proof Systems with Inductively Defined Propositions. RIMS Kokyuroku. 2022. 2228. 59-72
more...
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
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
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 ,  日本ソフトウェア科学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page