Researcher in Formal Analysis and Design of AI-intensive Cyber-Physical Systems

Kyoto University Graduate School of Informatics