Rchr
J-GLOBAL ID:201101027486642825   Update date: Sep. 01, 2020

Kensuke Kojima

Kensuke Kojima
Affiliation and department:
Job title: PD researcher
Research field  (4): Information theory ,  Applied mathematics and statistics ,  Basic mathematics ,  Software
Research keywords  (6): 理論計算機科学 ,  形式手法 ,  直観主義論理 ,  様相論理 ,  非古典論理 ,  数理論理学
Papers (16):
more...
Lectures and oral presentations  (5):
  • Formal Verification of the Correctness of CUDA Programs Using Hoare Logic
    (International Symbosium on Post Petascale System Software 2014)
  • Towards Generic GluonJ (in Japanese)
    (PPL 2014 2014)
  • A Hoare logic for SIMT programs (in Japanese)
    (PPL 2013 2013)
  • Birelational Kripke semantics for an intuitionistic LTL
    (Topology, algebra and categories in logic (TACL) 2009 2009)
  • On Constructive Linear-Time Temporal Logic
    (Intuitionistic modal logic and applications (IMLA) '08 2008)
Professional career (1):
  • 博士(情報学) (京都大学)
Association Membership(s) (2):
ACM ,  JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page