Hiroshi Unno (Preferred)
Hiroshi Unno
Full Professor, Research Institute of Electrical Communication, Tohoku University
- Joined August 2024
Names
Emails
****@acm.org (Confirmed)
Personal Links
Career & Education History
Full Professor
Research Institute of Electrical Communication, Tohoku University (tohoku.ac.jp)
2024 – Present
Advisors, Relations & Conflicts
Expertise
program verification, program synthesis, constraint solving and optimization, model checking, type systems
Present