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 projects are focused on formal analysis and automated repair of composable protocols in the field of decentralized finance (DeFi). My previous work also addressed scalability challenges in private blockchains.

I created the dataset of publications on smart contract formal specification and verification (and plan to update it very soon!).

Publications


Teaching

Teaching Assistance

Student Co-Supervision