Experience

• 

  Itmo university

  Jan 2012 - Jan 2021

  Search of adversarial examples for image classifiers with GANs and autoencoders, realistic text replacement on photos, verification of neural networks for a reinforcement learning approach for distributed baggage delivery. BSc, MSc and PhD thesis work in a growing computer science lab. Training discrete and hybrid systems using behavior data, analysis of chemical and gene expression data with machine learning, solving discrete optimization problems with metaheuristic algorithms. During the last four years, my work in ITMO University was connected with the one in Aalto University (joint PhD).

  • Research Fellow

    Jan 2020 - Jan 2021

  • Researcher

    Jan 2012 - Jan 2019
• 

  Aalto university

  Jan 2015 - Jan 2015

  Trainee

  Internship in the last year of master studies. Research on applying formal methods of software testing to industrial automation systems.

• 

  Aalto university

  Mar 2015 - Jan 2021

  Research on practical applications of model checking in the nuclear instrumentation and control (I&C) industry. Automation of the logical analysis of I&C system architectures. Synthesis of finite-state models from behavior data and requirements, formal verification with model checking (in particular, verification of nuclear instrumentation and control systems). Teaching: formal methods of software analysis for automation systems, programming for PLCs and similar devices. Defended doctoral thesis in June 2019.

  • Postdoctoral Researcher

    Jan 2019 - Jan 2021

  • Doctoral Candidate

    Mar 2015 - Jan 2019
• 

  Yandex

  Jan 2021 - Jan 2022

  Software engineer

  Improving the quality and reducing the computational burden of automatic speech recognition in Alice, the virtual assistant from Yandex, especially for smart speakers. Large-scale deep learning, PyTorch, NLP.

• 

  Iprally technologies oy

  Jan 2022 - now

  Ai research engineer

  Improving the recall of our neural patent search model, as well as keeping our code nice and tidy. Large-scale deep learning, PyTorch, NLP, graph neural networks.