Rate My Professor Jin Song Dong

Jin Song Dong is a full professor in the Computer Science Department at the School of Computing, National University of Singapore (NUS). He earned a Ph.D. from the University of Queensland, Australia, in 1995 and a B.InfTech. in Software Engineering with First Class Honours from the same institution in 1992. Prior to joining NUS, he worked as a Senior Research Scientist and Research Scientist at the Commonwealth Scientific and Industrial Research Organisation (CSIRO) in Australia from 1995 to 1998. At NUS, he progressed from Assistant Professor in 1998 to Associate Professor in 2005 and full Professor in 2016. He has held roles including Deputy Head of the Computer Science Department (2023-2024), member of the Faculty Promotion Committee, Graduate Committee, and NUS Senate.

His research focuses on formal methods, safety and security systems, trusted AI, probabilistic reasoning, sports analytics, and verified LLM code synthesis. He co-founded the PAT verification system and the trusted machine learning system Silas. Dong has published over 200 papers in leading venues such as ICML, NeurIPS, ICLR, CVPR, IJCAI, AAAI, POPL, ICSE, FM, and CAV, and received numerous best paper awards, including the ACM SIGSOFT Distinguished Paper Award for ICSE 2020. He has served on editorial boards including ACM Transactions on Software Engineering and Methodology and Formal Aspects of Computing. He has chaired major conferences such as FM 2014 and supervised 34 PhD students. Dong is a Fellow of the Institute of Engineers Australia and has received awards including the NUS Research Recognition Award and NUS Young Researcher Award.