PeopleofSuperintelligence

Researcher

Jin Song Dong

Also known as Dong Jin Song, Jin-Song Dong

Jin Song Dong is a computer science professor at the National University of Singapore who links formal methods with AI, from the PAT model checker to trusted machine learning and verified code generation for language models. After a PhD at the University of Queensland in 1995 and research years at Australia's CSIRO, he joined NUS in 1998 and became a full professor in 2016. He developed PAT with Sun Jun and Liu Yang, won the 20 Year ICFEM Most Influential System Award for it in 2018, and co-founded the trusted machine learning system Silas. In 2023 and 2024 he served as Deputy Head of the Computer Science Department, and he founded the ISACE sports analytics conference series. In July 2026 he gave a keynote at Internetware 2026, and he is a professor at NUS working on trusted and explainable AI.

Badges

Timeline

  1. 1992–1995

    Software engineering at Queensland

    He earns a B.InfTech in software engineering with first-class honours at the University of Queensland in 1992 and a PhD there in 1995.

  2. 1995–1998

    Research scientist at CSIRO

    He works in the Division of Mathematical and Information Sciences at Australia's Commonwealth Scientific and Industrial Research Organisation (CSIRO), as a research scientist from 1995 and as a senior research scientist in 1998.

  3. 1998–2016

    Assistant to full professor

    He joins the Computer Science Department of the School of Computing at the National University of Singapore (NUS) as an Assistant Professor in 1998. He becomes an Associate Professor in 2005 and a Professor in 2016.

  4. 2007–2009

    Creating the PAT model checker

    He develops the Process Analysis Toolkit (PAT), a multi-domain model checker, with Sun Jun and Liu Yang in 2007. In 2009, he coauthors the paper "PAT: Towards Flexible Verification under Fairness" for the International Conference on Computer Aided Verification (CAV 2009).

  5. 2018–2020

    ICFEM and NUS awards

    In November 2018, he and his former PhD students Sun Jun and Liu Yang win the 20 Year ICFEM Most Influential System Award for PAT. In 2020, NUS gives him its University Research Recognition Award for a software verification framework with more than 4,000 users from over 150 countries. He also receives an ACM SIGSOFT Distinguished Paper Award for ICSE 2020.

  6. 2021

    The Silas machine learning system

    In 2021, he coauthors the paper "Silas: A high-performance machine learning foundation for logical reasoning and verification". He co-founds Silas as a commercialised trusted machine learning system that integrates open machine learning for formal automated reasoning.

  7. 2023–2024

    Deputy Head and ISACE

    He serves as Deputy Head of the Computer Science Department at NUS in 2023–2024. His sports analytics work with probabilistic model checking leads him to found ISACE, the International Sports Analytics Conference and Exhibition series, whose pre-conference workshop takes place in Singapore in October 2023.

  8. As of October 2026

    Professor at NUS

    In July 2026, he is a keynote speaker at Internetware 2026 on the Gold Coast, Australia, with a talk titled "Reasoning Beyond LLMs and a Vision for Life After Superintelligence: The Player Era". He is a professor at the National University of Singapore, with research on formal methods for LLM-based agents, trusted AI and verified LLM-driven code synthesis; his NUS AI Lab areas are trusted and explainable AI, linking formal methods with AI, and AI for sports analytics.

Career

  1. Since 1998National University of SingaporeAssistant Professor, Associate Professor
  2. 1995–1998CSIROResearch Scientist, Senior Research Scientist

Education

  1. 1995University of QueenslandPhD
  2. 1992University of QueenslandB.InfTech

From the biography.

  1. People shaping AI work at a median of 3 organizations over a career: 3 for university starters and institute and lab starters, versus 2 for company startersIncludes National University of Singapore. Across 6,853 people shaping AI with a dated work role, we estimate a median of 3 parent organizations over a career (mean 3.6), comparing role groups, starting sectors and starting decades from the 1950s to 2020–2026.
  2. The United States employs an estimated 48% of people shaping AIIncludes National University of Singapore. We estimate where the people shaping AI work today, how universities, companies and research institutes split across countries, and how country shares have changed since the 1960s.
  3. More people shaping AI studied at Massachusetts Institute of Technology than at any other institutionIncludes National University of Singapore. We estimate where the people shaping AI studied and where their careers led. Massachusetts Institute of Technology leads with 467 former students, including 291 recorded doctorates.
  4. The company share of AI researchers’ top papers was 31% in 2020–2024 and 8% in 1970–1974Includes National University of Singapore. We estimate where the people shaping AI worked when their most-cited papers appeared: the company share was 31% in 2020–2024 and 8% in 1970–1974, and Google led all organizations in 2020–2024.

Colleagues

People with dated positions at the same organization in the same years.

Sources and credits

Photo: We have no published photo of Jin Song Dong yet. Send us a free-licensed photo.

  1. DONG Jin Song - NUS Computing comp.nus.edu.sg. Checked 21 October 2026.
  2. NUS School of Computing - Dr. Jin Song DONG comp.nus.edu.sg. Checked 21 October 2026.
  3. Professor Dong Jin Song and NUS Computing alumni win 20 Year ICFEM Most Influential System Award - NUS Computing comp.nus.edu.sg. Checked 21 October 2026.
  4. Seven NUS professors lauded for their work and service - NUS Computing comp.nus.edu.sg. Checked 21 October 2026.
  5. [SIST Distinguished Seminar] Trusted Decision-Making and Dependable Intelligence shanghaitech.edu.cn. Checked 21 October 2026.
  6. ISACE 2023 formal-analysis.com. Checked 21 October 2026.
  7. Internetware 2026 - Keynotes - Internetware 2026 conf.researchr.org. Checked 21 October 2026.
  8. People – NUS AI Lab nusail.comp.nus.edu.sg. Checked 21 October 2026.