Palina Tolmach bio photo

Palina Tolmach

School of Computer Science and Engineering,
Nanyang Technological University,

Institute of High Performance Computing,
Agency for Science, Technology and Research

Email Twitter LinkedIn Github Google Scholar

About me

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.

Publications

Teaching

Teaching Assistance

Student Co-Supervision