Experience

Runtime Verification Inc

• United States
• Software Development
• 1 - 100 Employee

• Verification Engineer

  • Dec 2021 - Present



ISPRAS (Russian Academy of Sciences)

• Russian Federation
• Software Development
• 1 - 100 Employee

• Scientific Researcher

  • Sep 2011 - Nov 2021

  Current career objective is to close the gap between formal methods and business. I have 9 years of formal modeling and software engineering in the domain of operating systems, one year of experience in theorem proving and machine learning. Current career objective is to close the gap between formal methods and business. I have 9 years of formal modeling and software engineering in the domain of operating systems, one year of experience in theorem proving and machine learning.



Google Summer of Code 2016 Student for The Linux Foundation

• Google Summer of Code 2016 Student

  • May 2016 - Aug 2016

  Project "Environment model specifications for more bugs to reveal" has been successfully implemented. Project "Environment model specifications for more bugs to reveal" has been successfully implemented.



Google Summer of Code 2014 Student for The Linux Foundation

• Google Summer of Code 2014 Student

  • May 2014 - Aug 2014

  The project's name is ''Parallel Verification of Linux Kernel Modules". The project's name is ''Parallel Verification of Linux Kernel Modules".



Google Summer of Code 2013 Student for The Linux Foundation

• Google Summer of Code 2013 Student

  • May 2013 - Sep 2013

  As a student, I finished the “Generation of Environment Model for Verification of Multi-module Device Drivers” project. As a student, I finished the “Generation of Environment Model for Verification of Multi-module Device Drivers” project.