海野 広志
うんの ひろし (Hiroshi Unno)
更新日: 06/09
基本情報
- 所属
- 東北大学 電気通信研究所 教授
- 学位
-
博士（情報理工学）(東京大学)
- 研究者番号
- 80569575
- J-GLOBAL ID
- 201801000350254615
- researchmap会員ID
- B000314797
- 外部リンク
研究分野
2主要な論文
47-
Lecture Notes in Computer Science 401-431 2026年4月10日 査読有り
-
Proceedings of the ACM on Programming Languages 9(OOPSLA2) 3726-3754 2025年10月9日 査読有り
-
Proceedings of the ACM on Programming Languages 9(PLDI) 2056-2080 2025年6月10日 査読有り
-
Proceedings of the AAAI Conference on Artificial Intelligence 39(11) 11372-11380 2025年4月11日 査読有り
-
Formal Methods in System Design 2025年2月24日 査読有り招待有り
-
Proceedings of the ACM on Programming Languages 9(POPL) 2306-2336 2025年1月7日 査読有り
-
Proceedings of the ACM on Programming Languages 9(POPL) 2025-2056 2025年1月7日 査読有り
-
Proceedings of the ACM on Programming Languages 8(OOPSLA2) 2662-2691 2024年10月8日 査読有り
-
Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type SystemProceedings of the ACM on Programming Languages 8(ICFP) 973-1002 2024年8月15日 査読有り
-
Proceedings of the ACM on Programming Languages 8(PLDI) 1979-2002 2024年6月20日 査読有り
-
Proceedings of the ACM on Programming Languages 8(POPL) 115-147 2024年1月5日 査読有り
-
Proceedings of the ACM on Programming Languages 7(POPL) 2111-2140 2023年1月9日 査読有り
-
Proc. ACM Program. Lang. 7(POPL) 604-631 2023年1月 査読有り
-
Proc. ACM Program. Lang. 7(POPL) 2079-2110 2023年1月 査読有り
-
Proceedings of the ACM on Programming Languages 6(POPL) 1-29 2022年1月16日 査読有り
-
Static Analysis - 28th International Symposium(SAS) 236-260 2021年 査読有り
-
Computer Aided Verification 742-766 2021年 査読有り
-
Computer Aided Verification 75-98 2021年 査読有り
-
Proceedings of AAAI 2020 2020年2月 査読有り
-
コンピュータ ソフトウェア 37(1) 1_39-1_52 2020年 査読有り招待有り
-
Proceedings of SAS 2019 Springer LNCS 11822 413-436 2019年10月 査読有り
-
PACMPL 2({POPL}) 12:1-12:29 2018年 査読有り
-
Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I 105 2018年 査読有り
-
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018 759 2018年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10427 571-591 2017年 査読有り
-
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016 57 2016年 査読有り
-
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE 25(4) 841-866 2015年5月 査読有り
-
Computer Software 32(1) 161-178 2015年
-
PROGRAMMING LANGUAGES AND SYSTEMS 9032 610-633 2015年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9035 149-163 2015年 査読有り
-
STATIC ANALYSIS (SAS 2015) 9291 199-216 2015年 査読有り
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9207 287-303 2015年 査読有り
-
PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2015 9458 295-312 2015年 査読有り
-
PROGRAMMING LANGUAGES AND SYSTEMS 8410 392-411 2014年 査読有り
-
Conference Record of the Annual ACM Symposium on Principles of Programming Languages 75-86 2013年 査読有り
-
PEPM 2013 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2013 53-62 2013年 査読有り
-
PLDI 11: PROCEEDINGS OF THE 2011 ACM CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION 222-233 2011年 査読有り
-
POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES 495-507 2010年 査読有り
-
PROGRAMMING LANGUAGES AND SYSTEMS 6461 312-327 2010年 査読有り
-
PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING 277-288 2009年 査読有り
-
FUNCTIONAL AND LOGIC PROGRAMMING 4989 81-+ 2008年 査読有り
-
Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, PLAS 2006, Ottawa, Ontario, Canada, June 10, 2006 17 2006年 査読有り
主要な講演・口頭発表等
7-
EPIT 2025 : École de Printemps d'Informatique Théorique 2025 2025年5月22日 招待有り
-
“CHoCoLa” meetings Curry-Howard: Logic and Computation 2025年5月15日 招待有り
-
25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024) 2024年1月16日 招待有り
-
38th International Conference on Mathematical Foundations of Programming Semantics 2022年7月13日 招待有り
-
The 5th Workshop on Horn Clauses for Verification and Synthesis 2018年7月13日 招待有り
-
Workshop on Higher-Order Model Checking (HOMC) + Communicating, Distributed and Parameterised Systems (CDPS), 2016年9月20日 招待有り
-
The 3rd Workshop on Higher-Order Program Analysis (HOPA 2015) 2015年7月4日 招待有り
所属学協会
2共同研究・競争的資金等の研究課題
18-
日本学術振興会 科学研究費助成事業 基盤研究(S) 2025年4月 - 2030年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2024年4月 - 2028年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2024年4月 - 2027年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2024年4月 - 2027年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2022年4月 - 2027年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2022年4月 - 2027年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 2024年4月 - 2025年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(S) 基盤研究(S) 2020年8月 - 2025年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2020年4月 - 2025年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(B) 基盤研究(B) 2019年4月 - 2024年3月
-
日本学術振興会 基盤研究(B) 基盤研究(B) 2017年4月 - 2022年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 2020年4月 - 2021年3月
-
日本学術振興会 基盤研究(B) 基盤研究(B) 2017年4月 - 2021年3月
-
日本学術振興会 若手研究(A) 若手研究(A) 2016年4月 - 2020年3月
-
日本学術振興会 基盤研究(S) 基盤研究(S) 2015年4月 - 2020年3月
-
日本学術振興会 基盤研究(B) 基盤研究(B) 2013年4月 - 2016年3月
-
日本学術振興会 若手研究(B) 若手研究(B) 2013年4月 - 2016年3月
-
日本学術振興会 基盤研究(S) 基盤研究(S) 2011年4月 - 2016年3月