Scholar
Jin Song Dong
Google Scholar ID: tuLa1AsAAAAJ
Professor of Computer Science, National University of Singapore
Citations & Impact
Citations
5,582
H-index
33
i10-index
127
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- ACM SIGSOFT Distinguished Paper Award for ICSE 2020, NUS Research Recognition Award (2020), Fellow of Institute of Engineers Australia (2018), 20 Year ICFEM Most Influential System Award (2018).
Research Experience
- Professor (since 2016), Associate Professor (2005-2016), Assistant Professor (1998-2005) at the Computer Science Department, School of Computing, National University of Singapore. He has also held positions as a Senior Research Scientist and Research Scientist at CSIRO, Australia.
Education
- PhD, University of Queensland, Australia (1993-1995); BInfTech with First Class Honours, majoring in Software Engineering, University of Queensland, Australia (1989-1992)
Background
- His research spans a range of fields, including formal methods, safety and security systems, probabilistic reasoning, sports analytics, trusted machine learning, and verified LLM code synthesis. He co-founded the commercialized PAT verification system and Silas, a trusted machine learning system. He served on the editorial board of several journals and has successfully supervised 33 PhD students, many of whom have become tenured faculty members at leading universities worldwide. He is also a Fellow of the Institute of Engineers Australia.
Miscellany
- In his spare time, he is a Junior Grand Slam coach and enjoys coaching tennis to his students. His three children have all reached the #1 national junior ranking in Singapore/Australia. Two of his children have earned NCAA Division 1 full scholarships, while his second son, Chen Dong, professionally ranked in ATP, played #1 singles for Australia in the Junior Davis Cup World Final and participated in both the Australian Open and US Open Junior Grand Slams.
Co-authors