Keynote Speaker I

Prof. Jin Song Dong
National University of Singapore, Singapore

Biography: Dr. Jin-Song Dong is a professor at the School of Computing at the National University of Singapore (NUS) and he joined NUS in 1998. His research is in the areas of formal methods, safety and security systems, probabilistic reasoning, sports analytics, and trusted machine-learning/LLM-reasoning. He co-founded the PAT verification system which has attracted thousands of registered users from 1000+ organizations in 150 countries and won 20 Year ICFEM Most Influential System Award in 2018 (with Jun and Yang). He also co-founded “Silas: trusted machine learning” and the Dependable Intelligence company (www.depintel.com). He received a number of best paper awards including the ACM SIGSOFT Distinguished Paper Award for ICSE 2020. Jin Song has been on the editorial board of ACM Transaction on Software Engineering and Methodology, Formal Aspects of Computing, and Innovations in Systems and Software Engineering, A NASA Journal. He has successfully supervised 27 PhD students and many of them have become tenured faculty members in leading universities around the world. He is a Fellow of the Institute of Engineers Australia. In his spare time, he developed Markov Decision Process (MDP) models for tennis strategy analysis in PAT and helped professional players in their pre-match analysis (beating the world's best). Jin Song is also a Grand Slam junior coach and enjoys coaching tennis to his 3 kids who all reached the #1 Singapore/Australia national junior ranking (two of his kids received NCAA Division 1 full scholarships, and his 2nd son Chen Dong played #1 singles for Australia in the Junior Davis Cup World Final and played Australian Open and US Open Junior Grand Slams). Getting more from the web: https://www.comp.nus.edu.sg/~dongjs/


Coming more soon.....



© WSSE 2024 | Kyoto, Japan | Email: wsse@sciei.org