Fuyuki Ishikawa / Ishikawa-Lab@NII 日本語 >

dummy

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

Visiting Professor at Institut National Polytechnique de Toulouse (France)

Trustworthy & Smart Software Engineering

We have intensive research and education activities for "Smart Systems and Smart Dependability Assurance"

My particularly interests are in modelling of "promises" such as requirements specification, contracts, SLA, laws, and policies as well as techniques and applications for model description, abstraction/refinement, verification, reasoning, and optimization.

We primarily target areas of software engineering, especially formal methods, and areas for autonomous and smart systems, but work not being closed within specific communities.

Our group consists of members from different organizations and also promote international and industry-academia collaborations.

Key Activities

Refinement engineering: flexible construction of verified multi-step system models
Kakenhi Wakate-A Grant, Kiban-B Grant / REFENG Project: ABZ'14, ER'16, FM'16
Formal verification and testing for discrete-continous hybrid models for Cyber-Physical Systems (CPS)
Formal methods and Intelligence Group in ERATO-MMSD Project
Example (test case) generation for human understanding and validation
IPA-RISE Fund / JSTM Project: ICFEM'16
Formal methods in the industry
TopSE Program and Work with the Industry: FM'15, FMSEET'15
Quality Optmization and Self-Adaptation in Service Composition and Cloud Management
PerQAS Project: ICWS'11, WWW'12, TSC'14, TSC'16, TPDS'17
App Store Ecosystems
collaboration with UCL: TSC'15, TEVC'16
Verification and adaptation in smart cities, internet of things (IoT), and clouds
FP7/H2020 EU-Japan Funds ClouT Project & BigClouT Project
Committee activities in key conferences
such as PC member at FM, ICFEM, ICSOC, SCC, WI

Contact

f-ishikawa < a > nii.ac.jp