Palina Tolmach

Palina Tolmach is a Technical Lead and Verification Engineer at Runtime Verification Inc since June 2023, focusing on the development of Kontrol, a formal verification tool for Solidity smart contracts. Prior to this role, Palina completed a PhD at Nanyang Technological University Singapore and held various positions such as Project Manager at DataMola and Research Assistant at A*STAR. Earlier experience includes Software Engineer at DataMola and an internship in Big Data at JECRC University. Palina holds a Bachelor's degree with honors in Computer Science from Belarusian State University of Informatics and Radioelectronics.