![Hiroshi Unno](https://icfp24.sigplan.org/getProfileImage/hiroshiunno/c5c1b748-082d-4abd-93f0-dbebf6ab1d98/small.jpg?1712496570000)
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
Using general profile