You are here

Hasebe Koji

Affiliation
Faculty of Engineering, Information and Systems
Official title
Associate Professor
URL
Email
 
Office
Room 827, Bldg. F, Area 3, Room 205-2, Bldg. CA in Academic Computing and Communications Center, Laboratory of Advanced Research B 923
Phone
029-853-5765, 029-853-2441, 029-853-5163
Fax
029-853-2478
Research fields
Software
Theory of informatics
Research keywords
Mathematical logic
Formal methods
distributed systems
multi-agent systems
game theory
Information security
Research projects
帰納的ゲーム理論における意思決定過程の論理的分析手法とその応用に関する研究2019 -- 2021長谷部 浩二Japan Society for the Promotion of Science/Grant-in-Aid for Scientific Research(C)4,290,000Yen
知識の形成過程の分析による暗号プロトコルの安全性検証法に関する研究2014-04 -- 2017-03Koji HasebeJapan Society of for the Promotion of Science/Grant-in-Aid for Scientific Research (C)4,680,000Yen
論理推論を基にした合理的秘密分散プロトコルの安全性検証法の構築2012-04 -- 2014-03Koji HasebeJapan Society of for the Promotion of Science/Grant-in-Aid for Young Scientists (B)4,420,000Yen
ゲーム論的アプローチによる自律分散システムの構築2012-04 -- 2014-03Kazuhiko KatoJapan Society of for the Promotion of Science/Grant-in-Aid for Exploratory Research3,900,000Yen
論理推論を基にした暗号プロトコルの計算論的安全性検証法の構築2009-04 -- 2012-03Koji HasebeJapan Society of for the Promotion of Science/Grant-in-Aid for Young Scientists (B)1,040,000Yen
Career history
2004-04 -- 2006-09Japan Society for the Promotion of Science Research Fellow
2006-09 -- 2008-02National Institute of Advanced Industrial Science and Technology Research Center for Verification and Semantics Research Fellow
2008-03 -- 2011-02University of Tsukuba Graduate School of Systems and Information Engineering Research Fellow
2011-02 -- (current)University of Tsukuba Department of Computer Science, Graduate School of Systems and Information Engineering Assistant Professor
Academic background
1994-04 -- 1998-03Keio University Faculty of Letters Department of PhilosophyGraduated
1998-04 -- 2000-03Keio University Graduate School of Letters Department of PhilosophyCompleted
2000-04 -- 2003-03Keio University Graduate School of Letters Department of PhilosophyAccomplished credits for doctoral program
Degree
2006-09Ph.D. in PhilosophyKeio University
Academic societies
2010 -- (current)Association for Computing Machinery
2010 -- (current)Institute of Electrical and Electronics Engineers (IEEE)
2003 -- (current)Information Processing Society of Japan
2003 -- (current)JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY
Articles
  • Multi-Tier Power-Saving Method in Cloud Storage Systems for Content Sharing Services
    Choeng Horleang; Hasebe Koji; Abe Hirotake; Kato Kazuhiko
    17th Inernational Conference on the Economics of Grids, Clouds, Systems and Services/pp.142-154, 2020
  • Robustness and Failure Detection in Epistemic Gossip Protocols
    Fujishiro Kosei; Hasebe Koji
    22nd International Conference on Formal Engineering Methods/pp.20-35, 2020
  • Ant Colony Optimization for K-Independent Average Traveling Salesman Problem
    Iwasaki Yu; Hasebe Koji
    12th International Conference on Swarm Intelligence/pp.345-346, 2020
  • Analysis of optimal file placement for energy-efficient file-sharing cloud storage system
    Machida Fumio; Hasebe Koji; Abe Hirotake; Kato Kazuhiko
    IEEE Transactions on Sustainable Computing, 2020-11
  • Role Estimation in Werewolf Game Based on Rules About Players' Utterances
    清水 大輔; 長谷部 浩二
    Proceedings of the Annual Conference of JSAI/2020/pp.2F5OS20b05-2F5OS20b05, 2020
  • 簡易なオープンデータを用いた鉄道路線内の移動需要推定手法
    根本 晃輔; 長谷部 浩二; 阿部 洋丈; 加藤 和彦
    日本ソフトウェア科学会 第80回全国大会講演論文集, 2018-03
  • Power-Saving Method in Storage Systems for File Sharing Services
    Horleang Choeng; Koji Hasebe; Hirotake Abe; Kazuhiko Kato
    研究報告システムソフトウェアとオペレーティング・システム, 2019-02
  • A Report on the 35th JSSST Annual Conference.
    森畑 明昌; 井上 克郎; 楠本 真二; 中川 博之; 伊藤 恵; 長谷...
    Computer Software/36(2)/pp.2_2-2_15, 2019
  • Shohei Sasaki, and Kazuhiko Kato. Fault Tolerance in the Traffic Management System of a Last-mile Transportation Service
    Hasebe Koji; Sasaki Shohei; Kato Kazuhiko
    4th International Conference on Vehicle Technology and Intelligent Transportation Systems (VEHITS 2018), 2018-03
  • Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking
    Koji Hasebe; Mitsuaki Tsuji; 加藤 和彦
    15th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2017), 2017-11
  • A Flexible Data Migration Strategy for Power Savings in Distributed Storage Systems
    Koji Hasebe; Sho Takai; 加藤 和彦
    7th International Conference on Smart Cities and Green ICT Systems (SmartGreens 2018), 2018-03
  • Traffic Management for Last-Mile Public Transportation Systems Using Autonomous Vehicles
    Koji Hasebe; Kazuhiko Kato; Hirotake Abe; Ryutaro Akiya; ...
    International Smart Cities Conference (ISC2), 2017-09
  • Power-Saving in Storage Systems for Cloud Data Sharing Services with Data Access Prediction
    長谷部 浩二; 大越淳平; 加藤 和彦
    IEICE Transactions on Information and Systems/98(10)/pp.1744-1754, 2015-10
  • ディスクの自律制御による大規模分散ストレージシステムの省電力化手法
    大越 淳平; 長谷部 浩二; 加藤 和彦
    全国大会講演論文集/2012(1)/pp.91-93, 2012-03
  • OpenCourseWare at University of Tsukuba
    岡 瑞起; 長谷部 浩二; 加藤 和彦
    工学教育研究講演会講演論文集/25(61)/pp.280-281, 2013-08
  • Highly Available Primary-Backup Mechanism for Internet Services with Optimistic Consensus
    Koji Hasebe; Naofumi Nishita; Kato Kazuhiko
    Third International Workshop on Cloud Computing Interclouds, Multiclouds, Federations, and Interoperability (Intercloud 2014)/pp.410-416, 2014-03
  • Using a Potential Game for Power Reduction in Distributed Storage Systems
    Koji Hasebe; Takumi Sawada; Kato Kazuhiko
    IEEE International Workshop on Software Defined Systems (SDS 2014)/pp.550-555, 2014-03
  • Computationally Complete Symbolic Attacker and Key Exchange
    Gergei Bana; Koji Hasebe; Mitsuhiro Okada
    20th ACM Conference on Computer and Communications Security (CCS 2013)/pp.1231-1246, 2013-11
  • Power-Saving in Storage Systems for Internet Hosting Services with Data Access Prediction
    Jumpei Okoshi; Hasebe Koji; Kazuhiko Kato
    Proceedings of the 4th International Green Computing Conference (IGCC 2013), 2013-06
  • Power-Aware Autonomous Distributed Storage Systems for Internet Hosting Service Platforms
    Junpei Okoshi; Koji Hasebe; Kato Kazuhiko
    Proceedings of 3rd International Conference on Cloud Computing (CloudComp 2012)/LNICST 112/pp.52-61, 2012-09
  • Stepwise process of clinical trials in safety-conscious development of human assistive robots
    Koji Hasebe; Hiroaki Kawamoto; Akira Matsushita; Kiyotaka...
    IEEE International Conference on Robotics and Biomimetics (ROBIO 2011)/pp.50-55, 2012-04
  • Belief Revision for Inductive Game Theory
    Koji Hasebe; Ryuichiro Ishikawa
    Proceedings of the 9th European Workshop on Multi-agent Systems/p.15ページ, 2011-11
  • Iterative information update and stability of strategies
    Takuya Masuzawa; Koji Hasebe
    Synthese/179(1)/pp.87-102, 2011-04
  • Stepwise Process of Clinical Trials in Development of Human Assistive Robots
    長谷部 浩二; 河本 浩明; 上林 清孝; 松下 明; 山海 嘉之
    Journal of the Robotics Society of Japan/29(3)/pp.236-240, 2011-04
  • A Platform Based on Self-stabilization for Dependable Internet Services
    大和崎 啓; 長谷部 浩二; 杉木 章義; 加藤和彦
    Computer Software/28(1)/pp.248-257, 2011-02
Books
  • Safety and Ethical Issues in the Development of Human Assistive Robots
    Koji Hasebe; Hiroaki Kawamoto; Akira Matsushita; Kiyotaka...
    Cybernics, Springer-Verlag, pp.299-313, 2014-02
  • セキュリティ・プロトコルの論理的検証法(第9章)
    長谷部 浩二; バナ・ゲルゲイ; 岡田 光弘
    数理的技法による情報セキュリティ(シリーズ応用数理 1), Kyoritsu Shuppan, pp.185-203, 2010-08
Conference, etc.
  • Shohei Sasaki, and Kazuhiko Kato. Fault Tolerance in the Traffic Management System of a Last-mile Transportation Service
    Hasebe Koji
    4th International Conference on Vehicle Technology and Intelligent Transportation Systems (VEHITS 2018)
  • Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking
    Koji Hasebe; Mitsuaki Tsuji; 加藤 和彦
    15th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2017)/2017
  • Capability-Based Delegation Model in RBAC
    Hasebe Koji; Mabuchi Mitsuhiro; Matsushita Akira
    15th ACM Symposium on Access Control Models and Technologies/2010-06-09--2010-06-11
Teaching
2021-10 -- 2022-02Research in Computer Science IfUniversity of Tsukuba.
2021-10 -- 2022-02Computer Science Seminar BfUniversity of Tsukuba.
2021-04 -- 2021-08Research in Computer Science IIsUniversity of Tsukuba.
2021-10 -- 2022-02Seminar in Computer Science fUniversity of Tsukuba.
2021-04 -- 2021-08Seminar in Computer ScienceUniversity of Tsukuba.
2021-10 -- 2022-02Seminar in Computer ScienceUniversity of Tsukuba.
2021-10 -- 2022-02Research in Computer Science fUniversity of Tsukuba.
2021-04 -- 2021-06Discrete StructuresUniversity of Tsukuba.
2021-10 -- 2022-02Research in Computer Science IUniversity of Tsukuba.
2021-04 -- 2021-08Research in Computer Science IUniversity of Tsukuba.

(Last updated: 2021-06-24)