Polina Vinogradova

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.