Dr. LIN Shang-Wei received his B.S. degree in Information Management from National Chung Cheng University, Chiayi, Taiwan, in 2003 and received his Ph.D. degree in Computer Science and Information Engineering from National Chung Cheng University, Chiayi, Taiwan, in 2010. In 2011, he was a postdoctoral researcher at School of Computing, National University of Singapore (NUS). From 2012 to November 2014, he was a research scientist at Temasek Laboratories in National University of Singapore (NUS). From December 2014 to April 2015, he was a postdoctoral research fellow in Singapore University of Technology and Design (SUTD). From April 2015 to August 2024, he was an Assistant Professor in College of Computing and Data Science (CCDS), Nanyang Technological University (NTU) . He has joined Singapore Institute of Technology (SIT) as Associate Professor since August 2024. His research interests focus on formal methods and applying them for verification of different application domains, e.g., real-time systems, concurrent systems, embedded systems, cyber physical systems, program analysis/synthesis, blockchains/smart contracts, quantum program analysis/verification, etc.