Senior Engineer (Sep 2022 - present) at Huawei; previously Intern Resercher (Dec 2021 - Aug 2022)
- Implemented a couple of optimizations in internal C compiler
- Worked on speeding up Chisel/FIRRTL compilation
- Learned Coq and used Ltac for automatic proof generation
- ARM64 assembly parsing and verification
- Familiar with weak memory models (ARM in particular)
- Wrote SMT-LIB2's Common List by hand
- Used Boogie as a backend for assembly verification
- Can navigate Arm® Architecture Reference Manual (v8 and v7) quite well (example)
- GitLab pipelines
Middle C++ developer at EPAM (One month in Autumn of 2021)
- Worked on system that calculates taxes for big corporations
- Have some experience with MSBuild and Windows COM
Intern Algorithm Engineer / Researcher at Huawei (Feb 2021 - May 2021)
- Worked on implementing and testing lock that works well with NUMA (from paper)
- Gained experience with C, vim and tmux
C++/Node Developer at Uplandme Inc. (Dec 2019 - Apr 2020)
- C++ unit testing of EOS smart contract
- C++ Node.js addon
- C++ WASM module
- Got some experience working with CMake
- Some general development in Node.js - refactoring in Feathers, a couple of modules in Nest and an entire little blockchain-watcher Node.js service
- Postgres queries
- Docker container for C++ build
- GitLab pipelines
- ECMAScript 5 (NetSuite uses Rhino)
- RequireJS
- SuiteScript 2.0
- At some point made a page with Suitlets, Bootstrap and JQuery
Mykolaiv municipal colegium (2005 - 2016)
- Participated in a lot of olimpiads. Mainly math, physics and informatics. Got 10 diplomas from All-Ukrainian olympiads.
- Gained a lot of experience with algorithms, data structures and C++ via participating in Ukrainian Olimpiad in Informatics for 5 consequtive years.
- Awarded with the honorable mention as an ‘Outstanding Mykolaiv citizen’ by the city mayor, 2014.
- Graduated with an average grade of 11 out of 12.
- Computer Science faculty of Petro Mohyla Black Sea National University (2016 - 2021)
- Transfered to Department of Information Management Systems and Technologies at Admiral Makarov National University of Shipbuilding (2021 - 2022)
- Participated in ICPC's (up to Regionals) and KPI-OPEN as a part of
BSNU_TopSquadtogether with Oleksandr Raievskyi and Alex Ermolaev.
- Like reverse engineering stuff with dnSpy, JPEXS, Ghidra, whatever
- Hacked Hearthstone once https://redd.it/snadt6/
- Participated in Huawei-organazed tournaments: 1st place at Grid Compression Contest, 3rd place at VM Scheduling Contest and 1st at HOT Round 1; Hackathon - inside Huawei
- Learned some Java, Python and Haskell in spare time
- Made a little game in Java
- Made some Android applications
- Participated in Codeforces competitions
- Other interests: badminton, piano, game theory