‹Programming› 2027 (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://ksuenaga.github.io/
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
2027
‹Programming›
Using general profile