Assistant Professor


School of Computer Science and Engineering,
Nanyang Technological University


E-mail: shang-wei.lin AT ntu.edu.sg
Office: N4-02c-86
Tel: (+65) 67906209
Address: 50 Nanyang Avenue, Singapore 639798


Biography

Dr. LIN Shang-Wei received his B.S. degree in Information Management from National Chung Cheng University in 2003 and received his Ph.D. degree in Computer Science and Information Engineering from the National Chung Cheng University in 2010. In 2011, he was a postdoctoral research fellow in School of Computing, National University of Singapore. From 2012 to 2014, he was a research scientist at Temasek Laboratories in National University of Singapore. From December 2014 to April 2015, he was a postdoctoral research fellow in Singapore University of Technology and Design. He joined School of Computer Engineering in Nanyang Technological University as Assistant Professor in May 2015.

Awards

  • TOSEM Distinguished Referee
    Distinguished Referees of ACM Transactions on Software Engineering and Methodology (TOSEM), 2017-2018.

  • ACM SIGSOFT Distinguished Paper Award
    The 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017.

  • Best Paper Award
    The 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), 2017.

Education

  • 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

Working Experience

  • Assistant Professor (May 2015 ~ Present)
    School of Computer Engineering, 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)

Professional Activities

  • Editorial Board
    • International Journal of Software Effectiveness and Efficiency (IJSEE), effective from September 2017
  • Program Co-Chair
    • 22nd International Conference on Formal Engineering Methods (ICFEM 2020)
    • 2nd French Singaporean Workshop in Formal Methods and Applications (FSFMA 2014)
    • 3rd Asian Workshop on Advanced Software Engineering (AWASE 2013)
  • Talks
    • Keynote, "Formal Verification based on Interpolations"
      24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019)
    • Invited Talk, "Interpolation-based Program Verification"
      8th Asian Workshop on Advanced Software Engineering (AWASE 2019)
  • Program Committee
    • 35th AAAI Conference on Arti􏰅cial Intelligence (AAAI 2021)
    • 22nd International Conference on Formal Engineering Methods (ICFEM 2020)
    • 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020)
    • 14th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2020)
    • 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019)
    • 25th Asia-Pacific Software Engineering Conference (APSEC 2018)
    • International Conference on Biometric and Forensic Engineering (ICBFE 2017)
    • 22nd Asia Pacific Software Engineering Conference (APSEC 2015)
    • 17th International Conference on Formal Engineering Methods (ICFEM 2015)
    • Doc Symposium of 19th International Conference of Complex Computer Systems (ICECCS 2014)
    • 16th International Conference on Formal Engineering Methods (ICFEM 2014)
    • Doc Symposium of 19th International Symposium of Formal Methods (FM 2014)
    • 15th International Conference on Formal Engineering Methods (ICFEM 2013)
  • Local Chair
    • 18th International Conference on the Engineering of Complex Computer Systems (ICECCS 2013)