プログラミング科学研究所とは?

神奈川大学プロジェクト研究所の一つとして時限で設置されている研究所です。

所長

  • 木下佳樹(神奈川大学理学部情報科学科教授)

所員

  • 永松礼夫(所員・神奈川大学理学部情報科学科教授)
  • 松田直祐(所員・神奈川大学理学部情報科学科特別助手)
  • 武山誠(プロジェクト研究員・神奈川大学理学部非常勤講師)
  • 中原早生(プロジェクト研究員・神奈川大学理学部非常勤講師)
  • 木下修司(プロジェクト研究員)

進行中の研究プロジェクト

  • TIGARS(Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS)
    • 英国University of York,英国Adelard LLP,英国City, University of London,株式会社ヴィッツ,名古屋大学との共同研究
    • 期間:2018-09-01~2019-12-31
  • 総合信頼性(ディペンダビリティ)確保のための実用的な規範の研究
    • 神奈川大学と株式会社Symphonyとの共同研究
    • 期間:2017-10-01~2019-03-31
  • 平塚市地域防災計画の整合性検査方式の研究
    • 神奈川大学と平塚市との共同研究
    • 期間:2014-04-01〜2019-03-31
終了した研究プロジェクト
  • オープンシステムディペンダビリティ国際標準の国内普及活動
    • (社)ディペンダビリティ技術推進協会(DEOS協会)からの受託研究
    • 期間:2018-04-01~2018-08-31
  • 自動車機能安全ケースの為のフレームワークに関する研究
    • 神奈川大学と株式会社デンソーとの共同研究
    • 期間:2014-11-01~2016-03-31
  • 有機化合物のスペクトルデータシステム(SDBS)の帰属、及び、帰属決定プロセスについてのアシュランスケースの研究
    • 神奈川大学と独立行政法人産業技術総合研究所との共同研究
    • 期間:2014-12-12~2016-03-31
  • FFO (Formal assurance case Framework for Open systems dependability)
    オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク
    • 情報処理推進機構からの受託研究(RISEプロジェクト)
    • 期間:2014-06-02〜2016-02-12