Особисті дані приховані

YAROSLAV KOZHEVNIKOV
HASKELL DEVELOPER KYIV, UKRAINE

DETAILS PROFILE
Kyiv Experienced Software Developer with ~3 years of production Haskell experience
Ukraine and ~2 years of experience with Software Verification. Proficient in an assortment
[відкрити контакти](див. вище в блоці «контактна інформація») of technologies including, but not restricted to Linux, git, Docker, Nix, GHCJS,
reflex-platform, Coq, Python, Haskell. Able to effectively self-manage during
LINKS independent projects, as well as collaborate in a team setting. Equipped with a diverse
skill-set.
Linkedin

Github EMPLOYMENT HISTORY
Haskell Developer at Mitrix
SKILLS February 2022 — October 2023
Haskell Worked on back-end service for e-learning platform. Responsibilities includes designing
application architecture, writing converters for data from the old e-learning app.
Rust
Worked as a Fullstack Haskell Developer on a blockchain project for developing startups.
Python
Used GHCJS, Obelisk(reflex-platform), PostgreSQL.
Linux

Git Haskell Developer at CodeIT, Kiev
December 2020 — February 2022
SQL
Worked on a back-end creating an exchange based on c-lightning protocol. My
Formal Verification responsibilities included working on authentication service, exchange service and
Docker writing integration and property tests.

Kubernetes Junior Researcher at Digamma.ai, Kiev
February 2019 — October 2020
LANGUAGES The goal of the project was to formally verify a subset of ASN1.C compiler encoding
Ukranian and decoding facilities, specifically primitive types enc/dec such as boolean, integer
and other. Technologies used included Coq proof assistant, VST, Coq-C FFI(for testing
English purposes).

Freelance , Kiev
June 2018 — January 2019
Was writing some small automation scripts, data-processing projects using python for
the interested parties.

EDUCATION
Bachelor, Igor Sikorsky Kyiv Polytechnic Institute, Kiev
September 2017 — May 2021