Fuyuki Ishikawa

Fuyuki Ishikawa is an Associate Professor at the Information Systems Architecture Science Research Division of the National Institute of Informatics (NII) in Tokyo, Japan, where he also serves as Director of the GRACE Center. Additionally, he holds positions as Associate Professor at Sokendai (The Graduate University for Advanced Studies) and Visiting Associate Professor at The University of Electro-Communications.

His research program, which he describes as 'Trustworthy & Smart Software Engineering,' focuses on dependability in Cyber-Physical Systems and Machine Learning Systems through techniques of formal methods and automated test generation. He investigates verification, reasoning, optimization, automated test generation, and self-adaptation by utilizing various models for requirements, specifications, and designs. His group promotes international and industry-academia collaborations with members from different organizations.

Ishikawa's recent work has increasingly concentrated on quantum program testing, autonomous driving systems verification, and quality assurance frameworks for AI systems. His publications demonstrate significant contributions to software engineering, particularly in applying formal methods to emerging domains like quantum computing and machine learning. His research often bridges theoretical foundations with practical applications in safety-critical contexts, particularly for autonomous systems.

• Awards for Science and Technology (Research Category) from the Minister of Education, Culture, Sports, Science and Technology (April 2024)
• IPSJ/IEEE Computer Society Young Researcher Award for 'Research on Intelligence-driven Engineering of Dependable Smart Systems' (March 2020)
• Multiple Best Paper Awards at conferences including ICFEM 2020, SEKE 2020, ICECCS 2019, and ISSRE 2019 Industry Track
• Best Artifact Award at ISSTA 2015

Ishikawa actively supervises research projects and interns through the ERATO-MMSD Project and MIRAI-eAI Project. He has served on numerous program committees for major software engineering conferences including ASE, ICSE, and ICST, and has organized workshops on machine learning systems engineering (SIG-MLSE) and quality assurance for AI systems (QA4AI). His laboratory provides two main research directions: generative AI for trustworthy software engineering and testing/trust exploration for AI systems, with specific focus on autonomous driving and deep learning applications.