Jin Song Dong

Papers

Total Citations

H-Index

About

Jin Song Dong is a leading researcher in formal methods, software engineering, and multi-objective optimization. His most-cited work, "Multi-objective Particle Swarm Optimization" (2019), has garnered 18 citations, reflecting its influence in advancing computational intelligence for complex problem-solving. Dong’s major contributions lie in integrating formal verification techniques with real-world software systems, particularly through his pioneering work on the Timed Communicating Object Z (TCOZ) notation and the PAT (Process Analysis Toolkit) model checker. These tools have enabled rigorous analysis of concurrent and real-time systems, bridging the gap between theoretical formalisms and practical engineering. His impact is further underscored by his leadership in large-scale collaborative projects, such as developing verified software for autonomous systems and smart grids. Dong’s research has not only shaped the field of formal methods but also inspired a generation of engineers to adopt mathematically grounded approaches for building reliable, high-assurance software. His work continues to be a cornerstone for students and researchers exploring the intersection of optimization, verification, and system design.