Dong Jin Song

Dong Jin Song is a Professor in the Department of Computer Science at the National University of Singapore. His research interests include formal methods, safety and security systems, trusted AI, probabilistic reasoning, sports analytics, and verified LLM code synthesis. He has co-founded commercialised systems such as the PAT verification system and Silas, a trusted machine learning system. He has published over 200 papers in top conferences and journals, and has served on the editorial boards of several academic publications. He has also supervised 34 PhD students, many of whom have become tenured faculty members at leading universities worldwide. Additionally, he is a tennis coach and has coached his three children to national junior rankings in Singapore and Australia.

Jin Song Dong is a Professor of Computer Science at the National University of Singapore, specializing in Formal Methods, Trusted AI, Safe AI, Model Checking, and Sports Analytics. His research focuses on developing rigorous verification techniques for AI systems, ensuring their safety and fairness, and applying formal methods to complex systems such as smart spaces and cybersecurity. Dong's work includes advancing model checking frameworks, integrating formal specifications with program analysis, and exploring AI-driven solutions for security and optimization challenges. His publications address critical issues in AI verification, adversarial robustness, and the application of nature-inspired algorithms in various domains.