Palina is a researcher and verification engineer at Runtime Verification, where she leads the development of Kontrol—a formal verification tool for Solidity smart contracts. She holds a PhD in formal verification from NTU, Singapore, and worked on bridging the gap between theory and practice of verification with major organizations in the blockchain space.