معرفی
Hiroshi Unno is a Professor at Tohoku University's Research Institute of Electrical Communication and a Visiting Professor at the National Institute of Informatics. He has served on program committees for major conferences like POPL, PLDI, ICFP, and CAV.
Dr. Unno's research focuses on
- Programming Languages
- Software Verification
- Artificial Intelligence
- Higher-Order Model Checking
- Refinement Type Systems
- Temporal Logic
His recent work (2023-2025) includes advancements in algebraic effects, probabilistic program verification, and prophecy-based type systems. Key contributions appear in POPL, PLDI, and ICFP journals.
Scientific awards include
- Distinguished Paper Award at POPL 2024
- Distinguished Paper Award at POPL 2023
- PPL 2014 Best Paper Award
He leads development of tools like RCaml, Thrust, and EffCaml for refinement type checking. Current projects involve Kakenhi grants 20H04162 and 25H00446.
Dr. Unno actively contributes to academic communities through
- Program Committee roles at AAAI, CAV, and SAS
- Editorial work for IPSJ Transactions
- Organizing PPL Summer School (2022)
۰مقاله منتشرشده
