Hi, my name is Sergey and this is my favorite CV over Github. I would like to introduce myself as a researcher in computer science, who spent too much time succesfully dealing with computer vision, computational geometry, robotics and such weird things as discrete optimization and bounded model checking.

Huawei Research Russia Institute

Senior Engineer • Dec, 2019 — up to date

Research and development for projects related to sensors on mobile devices, especially in image proccessing applications

Samsung Research Russia, AI Center

Leading Engineer • Apr, 2018 — Dec, 2019

Research and development for projects related to such topics as 3D modeling, deep learning, visual navigation and localization

• Designed & deployed a prototype for large-scale syntetic dataset generation pipeline
• Participated in a live demo preparation related to visual navigation projects
• Co-authored a paper at A+ robotics conference

Acronis

Research Engineer • Jan, 2017 — March, 2018

Research and development in backup and cloud data storage systems

• Set an infrastructure for gathering and analyzing metrics & metadata in data centers at petabytes scale
• Prototyped a tool for hardware failure prediction using ML
• Developed machine learning algorithms using secure multiparty computation framework

Intel Corporation

Research Scientist • Sep, 2013 — Dec, 2016

Research and development in EDA/ECAD systems, automatic synthesis and optimization of nano-scale topologies for integral circuit components

• Developed a methodology and software for preventing desing rules violations at standard cells' boundaries
• Developed an algorithm for generating standard cells' topologies considering special desing requirements for repeating structures
• Implemented several core algorithms for standard cells' topologies synthesis engine

Courier Drone

Software Developer • Oct, 2012 — Sep, 2013

A visual navigation system for a drone development

• Developed a Robotic Operating System's node for detecting a special marker in a videostream
• Optimized the proposed node's performance for a specified hardware platform considering tight resource constraints

Intel Corporation

Software Developer Intern • Jul, 2012 — Aug, 2012

Intel Advisor XE and parallel runtimes, e.g. Intel TBB and Intel OpenMP, integration

Volgograd State Technical University, Singularis Lab

Lab Assistant • Apr, 2012 — Jun, 2012

Research and development of methods to move sheet and wire bodies by vector in CAD systems

Moscow Institute of Physics and Technology, MIREA - Russian Technological University

PhD, Computer Science • 2013 — 2018

Topic: "Research and development of methods for automatic determining of geomeric constraints based on declarative programming and formal methods". The project covers such topics as model checking, boolean satisfiability, discrete optimization, EDA/CAD

Volgograd State Technical University

Master of Engineering and Technology • 2010 — 2012

Research and development of a visual navigation system for a walking robot

Volgograd State Technical University

Bachelor of Engineering and Technology • 2006 — 2010

Research and development of visual navigation algorithms for mobile robots

Computer Vision

deep learning, computational geometry, 3D reconstruction, SLAM, OpenCV, Open3D, ROS, Pytorch, TensorFlow

Discrete Optimization

boolean satisfiability, constraint satisfaction programming, formal methods, graph theory, local search, mixed integer programming

Languages

C++17, Python, Rust, Tcl

Other

algorithms, problem solving, scientific writing, Docker, CAD/EDA, Linux, Git, Atlassian

Foreign Languages

English (TOEFL 94 / 120)

DISCOMAN: Dataset of Indoor SCenes for Odometry, Mapping And Navigation

P. Kirsanov, et al.; IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2019)

Automated solution for preventing design rules violations at abutment stage for standard cells synthesis flow

S. Bykov, N. Ryzhenko N., A. Sorokin; East-West Design & Test Symposium (EWDTS), 2016 IEEE. IEEE, 2016

Minimization of Undesired Layout Patterns During Standard Cell Synthesis

N. Ryzhenko, A. Sorokin, S. Bykov, M. Talalay; Problems of Advanced Micro- and Nanoelectronic Systems Development, 2014

Synthesis of Memory Units Using a Description of Design Rules via Boolean Functions of Layout Objects

N. Ryzhenko, A. Sorokin, S. Bykov, M. Talalay; Problems of Advanced Micro- and Nanoelectronic Systems Development, 2014

Algorithm for 3D point cloud analisys for video image processing

S. Bykov, V. Zhoga, V. Skakunov, V. Shurigyn; International Scientific-and-Technological Conference "Extreme robotics", "Politehnika-service", Saint-Petersburg (in Russian)

Application of 3D point cloud analysis methods to computer vision systems in robotics

S. Bykov, V. Leontev, V. Skakunov; VSTU News, 3, No 13, p. 18-21, 2012 (in Russian)