Professor and Deputy Head of the Department of Computer Science, National University of Singapore (NUS) Prof. Jin-Song Dong is a renowned researcher in the fields of formal methods, trustworthy artificial intelligence, safety-critical systems, and sports analytics. His work focuses on integrating AI technologies with formal verification techniques to develop highly reliable and secure systems. He has been a faculty member at NUS since 1998 and currently serves as Deputy Head of the Department of Computer Science. His research includes model checking, probabilistic modeling, and the development of practical tools such as the Process Analysis Toolkit (PAT) and the Silas platform for trustworthy machine learning. His contributions have advanced the application of AI in safety-critical domains and performance analytics, including the use of Markov decision processes to model strategic decision-making in sports such as tennis. Prof. Dong has received multiple prestigious awards, including the ICFEM Most Influential System Award for PAT and the ACM SIGSOFT Distinguished Paper Award at ICSE 2020. He is a Fellow of Engineers Australia and has served on editorial boards of leading journals such as ACM Transactions on Software Engineering and Formal Aspects of Computing. He has supervised over 28 Ph.D. students, many of whom now hold academic positions at top universities worldwide.