Polina Vinogradova
Formal methods software develope at Input Output (IOHK)- Claim this Profile
Click to upgrade to our gold package
for the full feature experience.
Topline Score
Bio
0
/5.0 / Based on 0 ratingsFilter reviews by:
Experience
-
Input Output (IOHK)
-
Singapore
-
Software Development
-
300 - 400 Employee
-
Formal methods software develope
-
May 2018 - Present
-
-
-
Iron X Fitness
-
Canada
-
Wellness and Fitness Services
-
1 - 100 Employee
-
Fitness Instructor
-
Jan 2017 - Present
Ottawa, Canada Area
-
-
-
University of Ottawa
-
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 of Canada
-
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 -
Carleton University
Bachelor's degree, Mathematics and Computer Science -
University of Ottawa
Master's degree, Mathematics