Researcher in Formal Analysis and Design of AI-intensive Cyber-Physical Systems (Kyoto University Graduate School of Informatics)