APLAS 2024 (series) / Kohei Suenaga
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
Using general profile