![Ichiro Hasuo](https://popl23.sigplan.org/getProfileImage/ichirohasuo/c8df9176-6653-407c-b122-5f335c0f24bf/small.jpg?1711484697000)
Registered user since Tue 27 Oct 2015
Name:Ichiro Hasuo
Country:Japan
Affiliation:National Institute of Informatics, Japan
Personal website: http://group-mmm.org/~ichiro/
Research interests:semantics, category theory, verification, hybrid systems
Contributions
POPL 2023-profile
View general profile
View general profile