受刘关俊教授邀请，新加坡国立大学Jinsong Dong教授来实验室讲座交流，欢迎参加！

题目/Title：Trusted Decision-Making in Sports Analytics

报告人

简介/Bio：

Dr. Jin-Song Dong is a professor and deputy head of the computer science department at the National University of Singapore. His research spans a range of fields, including formal methods, safety and security systems, probabilistic reasoning, sports analytics, and trusted machine learning. He co-founded the commercialized PAT verification system, which has garnered thousands of registered users from over 150 countries and received the 20-Year ICFEM Most Influential System Award. Jin Song also co-founded the commercialized trusted machine learning system Silas (www.depintel.com). He has received numerous best paper awards, including the ACM SIGSOFT Distinguished Paper Award at ICSE 2020. He served on the editorial board of ACM Transactions on Software Engineering and Methodology, Formal Aspects of Computing, and Innovations in Systems and Software Engineering, A NASA Journal. He has successfully supervised 28 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.

摘要/Abstract:

Sports analytics encompasses the utilization of data science, artificial intelligence (AI), psychology, and advanced Internet of Things (IoT) devices to enhance sports performance, strategy, and decision-making. This process involves the collection, processing, and interpretation of cloud-based data from a variety of sources, such as video recordings, performance metrics, and scouting reports. One widely recognized formal method, Probabilistic Model Checking (PMC), has been conventionally employed in reliability analysis for intricate safety critical systems. For instance, the reliability of an aircraft can be determined by evaluating the reliability of its individual components, including the engine, wings, and sensors. Our groundbreaking approach applies PMC to a novel domain: Sports Strategy Analytics. As an example, the reliability (winning percentage) of a sports player can be ascertained from the reliability (success rate) of their specific sub-skill sets (e.g., serve, forehand, backhand, etc., in tennis). In this presentation, we will discuss our recent research work, which involves the application of PMC, machine learning, and computer vision to the realm of sports strategy analytics. At the end of the presentation, we will also discuss the vision of a new international sports analytics conference series (https://formal-analysis.com/isace/2023/).

时间：2023年5月6日(周六) 14:00-16:00

地点：电信学院264室