Lin Shang-wei

Biography

Dr. Lin Shang-Wei is affiliated to School of Computer Science and Engineering, Nanyang Technological University. Dr. Lin Shang-Wei is currently providing services as Asst Professor. Dr. Lin Shang-Wei has authored and co-authored multiple peer-reviewed scientific papers and presented works at many national and International conferences. Dr. Lin Shang-Wei contributions have acclaimed recognition from honourable subject experts around the world. Dr. Lin Shang-Wei is actively associated with different societies and academies. Dr. Lin Shang-Wei academic career is decorated with several reputed awards and funding. Dr. Lin Shang-Wei research interests include Formal Methods, Model Checking, Compositional Verification and Synthesis, Program Verification and Synthesis, Embedded Real-Time System Verification and Synthesis..

Research Interest

Formal Methods, Model Checking, Compositional Verification and Synthesis, Program Verification and Synthesis, Embedded Real-Time System Verification and Synthesis.