Jing Sun

Why they're in the Luvo100

Sun co-developed a 2025 approach to diagnosing and repairing software design models. It provides a concrete route from detecting an inconsistency to proposing a correction, extending quality assurance into the specifications and models that guide implementation.