Yan Liu

Yan Liu is a Software Engineer at Pi Squared Inc. since February 2024, focusing on building the universal settlement layer. Previously served as a Formal Verification Engineer at Runtime Verification Inc., specializing in blockchain security, smart contract audits, and consultation. Yan Liu contributed to research at Ant Group, engaging in formal semantics for query languages and blockchain innovation, alongside a role as a Postdoctoral Fellow at Advanced Digital Sciences Center, analyzing safety and security in cyber-physical systems. Additional experience includes a sessional lecturer position at Monash University, research fellowship at the National University of Singapore, and various roles in research and software testing. Yan Liu holds a Ph.D. in Formal Methods from the National University of Singapore and a Bachelor's Degree in Computer Science and Engineering from Southeast University.