基本信息
姓名: Kazuhiko Sakaguchi
科研机构: University of Tsukuba
注册时间: 2018-05-04
活跃度: 63
研究兴趣画像 系统自动生成

根据浏览过的会议与期刊，该研究者最可能关注的研究方向是 理论与算法, 土木工程与交通, 软件工程, 人工智能与机器学习。 高频浏览的会议 / 期刊包括 TACAS, POPL, ICFP, FLOPS, CPP。

简历
关注的会议
总计6条数据。
CCFICORE简称全称截稿日期通知日期会议日期
ATACASInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems2026-10-152026-12-222027-04-10
BCPPInternational Conference on Certified Programs and Proofs2026-09-032027-11-102027-01-10
AA*POPLACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages2026-07-092026-10-052027-01-10
BLPARInternational Conference on Logic for Programming, Artificial Intelligence and Reasoning2026-06-032026-08-032026-10-25
BAICFPACM SIGPLAN International Conference on Functional Programming2026-02-192026-05-142026-08-23
BITPInternational Conference on Interactive Theorem Proving2026-02-122026-04-262026-07-26
参加的会议
CCFICORE简称全称会议日期会议地点
没有找到数据。
关注的期刊
CCF全称影响因子出版商ISSN
没有找到数据。
关注的科研人员
姓名科研机构注册时间活跃度
没有找到数据。