Shuang Liu

Shuang Liu is a dedicated PhD candidate at the National University of Singapore, focusing on formal methods and software engineering. With an ambition to bridge research and industry, Shuang aspires to influence real products with innovative ideas while enhancing the reliability and robustness of software development practices.

Shuang Liu's academic pursuits span a spectrum of computer science domains, including system security, formal methods, logic, databases, program analysis, and software engineering. Embracing a philosophy that emphasizes continuous learning, Shuang recognizes knowledge as the cornerstone of creativity.

Drawing on a rich educational background, Shuang Liu holds a Bachelor's degree in Computer Science from Renmin University of China and is currently pursuing a Doctor of Philosophy (PhD) in Software Engineering and Formal Methods at the National University of Singapore.

Shuang Liu has held various positions in prestigious organizations such as being an Associate Professor at Tianjin University, a Lecturer at the Singapore Institute of Technology, and a Postdoc Research Fellow at the Singapore University of Technology and Design (SUTD). Additionally, Shuang has contributed as a Research Assistant at the Database and Intelligent Information Retrieval (RUC-DB-IIR) lab, RUC, and the Singapore University of Technology and Design (SUTD).