conf.researchr.org / Kohei Suenaga
![Kohei Suenaga](https://conf.researchr.org/getProfileImage/koheisuenaga/f57f179b-edd7-499b-9b7b-0a240a6b0474/small.jpg?1711493856000)
Registered user since Tue 30 Jun 2015
Name:Kohei Suenaga
Country:Japan
Affiliation:Graduate School of Informatics, Kyoto University
Personal website: https://researchmap.jp/ksuenaga?lang=en
X (Twitter): https://x.com/ksuenaga
GitHub: https://github.com/ksuenaga
Research interests:Program verification and testing, Smart contracts, (Interpretability of ) machine learning, Hybrid systems
Contributions