| Both sides previous revisionPrevious revisionNext revision | Previous revision |
| en [2026/06/22 05:00] – hiroshi_unno | en [2026/06/26 19:02] (current) – hiroshi_unno |
|---|
| * **April 2025**. Professor **Hiroshi Unno**'s project, "Foundations and Applications of Program Verification Techniques," has been selected for funding under the [[https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-25H00446/|KAKENHI Grant-in-Aid for Scientific Research (S)]]. | * **April 2025**. Professor **Hiroshi Unno**'s project, "Foundations and Applications of Program Verification Techniques," has been selected for funding under the [[https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-25H00446/|KAKENHI Grant-in-Aid for Scientific Research (S)]]. |
| * **February 2025**. The paper "Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking" by Professor **Hiroshi Unno** et al. was presented at [[https://aaai.org/conference/aaai/aaai-25/|AAAI 2025]]. | * **February 2025**. The paper "Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking" by Professor **Hiroshi Unno** et al. was presented at [[https://aaai.org/conference/aaai/aaai-25/|AAAI 2025]]. |
| * **January 2025**. The paper "A Primal-Dual Perspective on Program Verification Algorithms" by Professor Hiroshi Unno et al. received a **Distinguished Paper Award** at [[https://popl25.sigplan.org/|POPL 2025]]. | * **January 2025**. The paper "A Primal-Dual Perspective on Program Verification Algorithms" by Professor **Hiroshi Unno** et al. received a **Distinguished Paper Award** at [[https://popl25.sigplan.org/|POPL 2025]]. |
| * **January 2025**. The paper "A Primal-Dual Perspective on Program Verification Algorithms" by Professor **Hiroshi Unno** et al. was presented at [[https://popl25.sigplan.org/|POPL 2025]]. | * **January 2025**. The paper "A Primal-Dual Perspective on Program Verification Algorithms" by Professor **Hiroshi Unno** et al. was presented at [[https://popl25.sigplan.org/|POPL 2025]]. |
| * **January 2025**. The paper "Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs" by Professor **Hiroshi Unno** et al. was presented at [[https://popl25.sigplan.org/|POPL 2025]]. | * **January 2025**. The paper "Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs" by Professor **Hiroshi Unno** et al. was presented at [[https://popl25.sigplan.org/|POPL 2025]]. |
| | Professor | [[https://www.riec.tohoku.ac.jp/~unno/|Hiroshi Unno]] | | | Professor | [[https://www.riec.tohoku.ac.jp/~unno/|Hiroshi Unno]] | |
| | Assistant Professor | [[https://www.riec.tohoku.ac.jp/~eberhart/|Clovis Eberhart]] | | | Assistant Professor | [[https://www.riec.tohoku.ac.jp/~eberhart/|Clovis Eberhart]] | |
| | Postdoctoral Researcher | Kenji Saotome | | | Postdoctoral Researcher | [[https://researchmap.jp/k_saotome?lang=en|Kenji Saotome]] | |
| | Secretary | Kyoko Sagae | | | Secretary | Kyoko Sagae | |
| | Graduate Students | [[takuma_monma|Takuma Monma]] | | | Graduate Students | [[takuma_monma|Takuma Monma]] | |
