Sergey Gomenyuk

• Responsible for all technical decisions in the company — from architecture and technology choices to delivery processes and tooling
• Introduced CI/CD for FHERMA, an FHE challenges platform; migrated the entire company deployment stack to Kubernetes; designed and built verification agents that check user solutions, including auto-scaling; extended verification to support multiple FHE libraries (OpenFHE, Lattigo, Apple Swift Homomorphic Encryption)
• Developed a Cosmos SDK–based blockchain for an FHE computer platform. Key milestone: ran a neural network trained on CIFAR-10 entirely in FHE mode — encrypted image as input, encrypted class label as output, with all inference performed on ciphertext without decryption
• Built an FHE runtime for ONNX models — onnx-fhe-runtime — enabling encrypted evaluation of ONNX computation graphs
• Implemented a proxy that connects Cosmos-based networks to Blockscout explorers — shuttle
• Prototyped private payments for Ethereum based on Pedersen commitments and zero-knowledge circuits written in Circom

• Worked on a next-generation SIEM platform — collection, processing, and enrichment of security events
• Designed and implemented a log collector capable of ingesting data from local files, syslog streams, and Windows Event Log
• Integrated the SIEM collector with the company’s EDR product, enabling a unified pipeline from endpoint telemetry to security analytics

• Designed and implemented end-to-end encryption for trip history, so passenger ride data stays protected both at rest and in transit
• Tech lead for a full redesign of authentication and authorization: owned the architecture, planning, and rollout across backend services — from threat model and API design to migration and production delivery

• Led a team through porting a production backend application from Windows to Linux, including build, packaging, and operational readiness
• Led delivery of a new AWS-based service for generating orthodontic treatment plans — from initial design through production launch
• Partnered with the architecture team to design a joint canary release process for the backend service and desktop application, so both sides could roll out safely together

• Shipped multiple new features for the desktop application used by clinicians
• Extended the backend to support building several treatment plans in a single workflow
• Refactored a core backend service to support new product lines without breaking existing clients

Cloud 3D scanning system and shoe recommendation platform — from platform architecture to packaging and continuous delivery.

• Contributed to development and architecture of the cloud platform
• Owned deployment and infrastructure work: Jenkins CI pipelines, Conan.io server for C++ packages, and related packaging workflows
• Built and published C++ packages for the internal Conan.io ecosystem

Go, C++, gRPC, Docker, Kubernetes, AWS, Tarantool, Kafka

• Backup and Recovery team — developed and supported the server side of the Backup and Recovery product, focusing on reliability and maintainability of core services

• Developed and supported ViPNet Client — a security client for VPN and network protection
• Led and participated in large-scale refactoring to improve code quality and extensibility
• Developed Windows kernel-mode drivers for the product stack
• Built a customized Windows credential provider for tailored authentication flows

C++, CORBA, gtest, gmock

Optimizing compiler for C/C++

• Implemented auto-parallelization of loops to exploit multi-core CPUs
• Worked on interprocedural analysis passes
• Contributed to inline optimization, localization of global variables, and variable propagation

JIT binary translator

• Implemented machine-dependent optimizations for the translated code
• Performed performance analysis to guide and validate optimization work

Embedded software for AVR, ARM, and DSP platforms — firmwares and companion tools for digital devices.

• Developed software for accounting production resources
• Built a GPS tracker with Google Maps visualization
• Created tooling for amplitude-frequency (AF) analysis of electrical circuits