Polina Vinogradova

Polina Vinogradova is a skilled formal methods software developer at Input Output (IOHK) since May 2018, bringing extensive experience in software development and education. Prior to this role, Polina worked as a fitness instructor at Iron X Fitness from January 2017 to November 2023 and served as a teaching assistant at the University of Ottawa from September 2012 to August 2017, where responsibilities included preparing course materials, facilitating tutorials, and assessing student performance. Earlier experience as a programmer analyst for the Government of Canada from May 2007 to September 2011 involved developing applications in the .NET framework and upgrading legacy systems. Polina holds a Doctor of Philosophy (Ph.D.) in Computer Science and a Master's degree in Mathematics from the University of Ottawa, along with a Bachelor's degree in Mathematics and Computer Science from Carleton University.