Hiroshi Unno
Has grant
Associate Professor
JapanResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
Hiroshi Unno is an Associate Professor at the University of Tsukuba in Japan. His research focuses on program verification algorithms, refinement type systems, and higher-order programming, as highlighted in his recent articles. He has contributed to the fields of temporal verification, algebraic effects, and probabilistic program verification. His work aims to advance the theoretical underpinnings and practical applications of software reliability and correctness.
Recent Grants
Grant: Close
Verification of high-level programs containing mutable higher-order recursive data structures
Open Date: 2017-04-01
Close Date: 2022-03-31
Grant: Close
Theory of Gradual Typing for Modern Programming Languages
Open Date: 2017-04-01
Close Date: 2021-03-31
Grant: Close
高レベル言語で記述されたソフトウェアの時相的・関係的仕様の検証
Open Date: 2016-04-01
Close Date: 2020-03-31
Grant: Close
Refinement and Extension of Higher-Order Model Checking
Open Date: 2015-05-29
Close Date: 2020-03-31
Grant: Close
Extensions and Applications of Refinement Types based on Game Semantics
Open Date: 2013-04-01
Close Date: 2016-03-31
Articles (11)
Year:
2025
Year:
2025
Year:
2025
Year:
2024
Year:
2024
Year:
2024
Year:
2024
Year:
2023
Year:
2023
Year:
2023
Year:
2022
Collaborators (3)
Tachio Terauchi
Professor
Waseda University
Taro Sekiyama
National Institute of Informatics
Takeshi Tsukada
Chiba University
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.