![Hiroshi Unno](https://pldi24.sigplan.org/getProfileImage/hiroshiunno/709bd3ba-13d0-4b56-98cf-edcbaf83508d/small.jpg?1720987562000)
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
2024
PLDI 2024-profile
View general profile
View general profile