I am a PhD candidate in the School of Computer Science and Engineering at Nanyang Technological University and Institute of High Performance Computing, Agency for Science, Technology and Research. I am advised by Liu Yang and Wei Qingsong
My research interests lie in the domain of software verification and program analysis in application to blockchain and smart contracts in particular. My current research project focuses on formal analysis of composable protocols in the field of decentralized finance (DeFi). My previous work also addressed scalability challenges in private blockchains.
I maintain the dataset of publications on smart contract formal specification and verification.
- Formal Analysis of Composable DeFi Protocols. Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu. In Proceedings of the 1st Workshop on Decentralized Finance (DeFi), 2021.
- A Survey of Smart Contract Formal Specification and Verification.
Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu, Zengxiang Li.
- CE/CZ2006 Software Engineering, NTU
- Yushi Cao, Master of Science, NTU