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.
-
Associate Professor (August 2024 ~ Present)
InfoComm Technology (ICT) Cluster,
Singapore Institute of Technology (SIT)
-
Assistant Professor (May 2015 ~ August 2024)
College of Computing and Data Science (CCDS),
Nanyang Technological University (NTU)
-
Research Fellow (December 2014 ~ April 2015)
Singapore University of Technology and Design (SUTD)
-
Research Scientist (December 2011 ~ November 2014)
Tamesak Laboratories, National University of Singapore (NUS)
-
Research Fellow (January 2011 ~ November 2011)
School of Computing, National University of Singapore (NUS)
-
Ph.D. (September 2004 ~ July 2010)
Department of Computer Science and Information Engineering
National Chung Cheng University, Taiwan
-
M.S. (September 2003 ~ June 2004)
Department of Computer Science and Information Engineering
National Chung Cheng University, Taiwan
-
B.S. (September 1998 ~ January 2003)
Department of Information Management
National Chung Cheng University, Taiwan
-
H.S. (September 1995 ~ June 1998)
National Taichung First Senior High School, Taiwan
-
ACM SIGSOFT Distinguished Paper Award (2022)
“Finding Permission Bugs in Smart Contracts with Role Mining”, 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022).
-
ACM SIGSOFT Distinguished Paper Award (2017)
“FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers”, 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017).
-
Best Paper Award (2017)
“Learning-Based Compositional Parameter Synthesis for Event-Recording Automata”, 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017).
