ECOOP 2025 (series) / Kota Fukuda
Registered user since Fri 23 May 2025
Name:Kota Fukuda
Bio:
Hello, nice to meet you!
Country:Japan
Affiliation:Kyushu University
Personal website: https://orcid.org/0009-0000-0292-0896
Research interests:Neural network verification
Contributions
Using general profile