I am working in academia, specializing in mathematical programming (convex, stochastic, zeroth-order optimization) and ML (including deep learning and data analysis), and studying differential equations (in application to convex cones' barrier functions) and algebraic topology: since 2019, I had written and published >25 research articles, including those in Q1 rated journals, and was participating in NeurIPS conference. Besides, since 2015, I was working as a freelance software engineer for Android development on Java (until 2018, implemented one non-commercial personal project and several customer-designed solutions), practicing C++ and Python in numerous science-intensive projects presently, used MATLAB and Haskell in domain-specific mathematical computations. I have some domain-specific knowledges in finances, digital signal processing, linguistics, and automated code processing, acquired at projects for applying mathematics to these fields. I also have some non-industrially-practised before skills in functional programming, machine-checked proofs on Coq, and FPGA design on SystemVerilog.