Professor Jin-Song Dong is a full professor at the School of Computing at the National University of Singapore (NUS). His research is in the areas of formal methods, safety and security systems, probabilistic reasoning and trusted machine learning. He co-founded the PAT verification system which has attracted 4000+ registered users from 1000+ organizations in 150 […]

Lin Ye currently is a full professor at the School of Aerospace, Mechanical and Mechatronic Engineering and the Director of the Centre for Advanced Materials Technology of The University of Sydney. He received his BEng degree from Harbin Engineering University in 1982, and MEng in 1984 and PhD in 1987 from Beijing University of Aeronautics […]