Web Site of Fuyuki Ishikawa & Ishikawa Lab.
Associate Professor at National Institute of Informatics, Tokyo, Japan
Visiting Associate Professor at The University of Electro-Communications
Trustworthy & Smart Software Engineering
We have a wide range of activities for "Smart Systems and Smart Dependability Assurance."
We envision advanced application systems and investigate techqnieus of verification, reasoning, optimization, automated test genration, and self-adaptation by making use of a variety of models for requirements, specifications, and designs.
Our present focus is dependability in Cyber-Physical Systems and Machine Learning Systems via techniques of formal methods and automated test generation.
Our group consists of members from different organizations and also promote international and industry-academia collaborations.