Polina Vinogradova

Formal methods software develope at Input Output (IOHK)
  • Claim this Profile
Online Presence
Contact Information
Location
Ottawa, Ontario, Canada, CA

Topline Score

Bio

Generated by
Topline AI

0

/5.0
/ Based on 0 ratings
  • (0)
  • (0)
  • (0)
  • (0)
  • (0)

Filter reviews by:

No reviews to display There are currently no reviews available.

0

/5.0
/ Based on 0 ratings
  • (0)
  • (0)
  • (0)
  • (0)
  • (0)

Filter reviews by:

No reviews to display There are currently no reviews available.
You need to have a working account to view this content. Click here to join now

Experience

    • Singapore
    • Software Development
    • 300 - 400 Employee
    • Formal methods software develope
      • May 2018 - Present
    • Canada
    • Wellness and Fitness Services
    • 1 - 100 Employee
    • Fitness Instructor
      • Jan 2017 - Present

      Ottawa, Canada Area

    • Civil Engineering
    • 1 - 100 Employee
    • Teaching Assistant
      • Sep 2012 - Aug 2017

      Ottawa, Canada Area Duties include:  Ensuring students' access to the required software, selecting sample databases and making them available to students  Preparing materials for tutorials and labs, preparing assignments, tests, and designing the final project  Explaining course material to students in a classroom setting and during office hours,  Marking tests and assignments, proctoring tests and exams

    • Government Administration
    • 700 & Above Employee
    • Programmer Analyst
      • May 2007 - Sep 2011

      Ottawa, Canada Area Duties included:  Developing applications in the .NET framework using Visual Basic and upgrading applications from VB6 to VB.NET  Reading data files and populating data structures using SAS software, tabulating large data samples to retrieve data integrity information  Working with a model simulating aspects of the Employment Insurance program: - Testing for the possibility of porting the VB graphic user interface to a Java platform - Updating calculations and data… Show more Duties included:  Developing applications in the .NET framework using Visual Basic and upgrading applications from VB6 to VB.NET  Reading data files and populating data structures using SAS software, tabulating large data samples to retrieve data integrity information  Working with a model simulating aspects of the Employment Insurance program: - Testing for the possibility of porting the VB graphic user interface to a Java platform - Updating calculations and data input procedures, written in C++, according to changes in the Employment Insurance Code  Improvement and maintenance of an SQL Server database: - Creating scripts to back up the contents of the server - Implementing table structure and relationships between tables - Creating scripts to regenerate the databases from text files - Writing documentation about the databases - Cleaning out the databases and removing orphaned keys Show less

Education

  • University of Ottawa
    Doctor of Philosophy (Ph.D.), Computer Science
    2012 - 2017
  • Carleton University
    Bachelor's degree, Mathematics and Computer Science
  • University of Ottawa
    Master's degree, Mathematics

Community

You need to have a working account to view this content. Click here to join now