Polina holds a Ph. D. in Computer Science from the University of Ottawa. Her Ph. D. research consisted of the formalization of category-theoretic proofs, definitions and examples related to the study of abstract computation. She obtained her Master's degree in Mathematics, also from the University of Ottawa, with the focus of her thesis being the study of abstract computation using Category theory, in particular, Turing categories. 

Polina has been working at IOHK as a formal methods software developer since 2018. In 2019, she was a co-instructor (alongside the head instructor, Lars Bruenjes) for the IOHK-run Haskell course in Ethiopia, teaching an all-female cohort of Ethiopian and Ugandan students, many of who went on to work at IOHK afterwards. Later in 2019, Polina took part in running several educational events on the Marlowe smart contract software developed by IOHK team, including a hackathon in Ulaanbaatar, Mongolia, and a workshop in Tel Aviv, Israel. Since then, Polina has been working on the Plutus book.

For more about Polina's experience in Ethiopia, check out this blog post:

https://iohk.io/blog/in-at-the-deep-end-in-addis/