
Registered user since Fri 19 Dec 2014
Name:Hiroshi Unno
Country:Japan
Affiliation:Tohoku University
Personal website: https://www.riec.tohoku.ac.jp/~unno/
GitHub: https://github.com/hiroshi-unno
Research interests:Programming Languages, Software Verification, Artificial Intelligence
Contributions
POPL 2025-profile
View general profile
View general profile