PhD in Theoretical Computer Science, Master and Bachelor in Theoretical Mathematics. A Data Scientist with outstanding research and software engineering skills
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
Individual Entrepreneur
Data Scientist
June 25, 2026 – Present
ML-PT
January 13, 2023 – January 20, 2023
The test task for ML-PT linked via https://heyiamsasha.notion.site/ML-PT-0bc4ce5012604ed397f040a1bdc29858
View Projectdata-science-r-projects
December 13, 2019 – January 29, 2020
The repository to store the R projects for the Harvard data science course
View ProjectCOTONN
March 23, 2018 – June 19, 2018
A toolchain for converting deterministic correct-by-design controllers into neural networks
View ProjectSCOTS2SR
February 19, 2018 – June 3, 2018
The main project for the application doing symbolic fitting of BDD based symbolic controllers generated by SCOTSv2.0, depends on https://github.com/ivan-zapreev/SCOTS2DLL, https://github.com/ivan-zapreev/SCOTS2JNI, and https://github.com/ivan-zapreev/SR2JLIB
View ProjectSR2JLIB_EX
February 16, 2018 – May 16, 2018
An example project showing how the https://github.com/ivan-zapreev/SR2JLIB library to be used.
View ProjectDistributed-Translation-Infrastructure
January 11, 2016 – November 29, 2018
The distributed statistical machine translation infrastructure consisting of load balancing, text pre/post-processing and translation services. Written in C++ 11 and utilises multicore CPUs by employing multi-threading, allows for secure SSL/TLS communications.
View ProjectBack-Off-Language-Model-SMT
July 27, 2015 – April 7, 2016
The implementation of the Back-Off Language model(s) for SMT
View ProjectAriadne
February 23, 2015 – April 7, 2016
Ariadne: An open tool for hybrid system analysis. This part of the code implements an infinite grid for representing open/closed/overt sets and performing operations on those sets.
View ProjectMRMC
February 23, 2015 – June 2, 2020
Markov Reward Model Checker - is a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL (PRCTL and CSRL), and allows for the automated verification of properties concerning long-run and instantaneous rewards as well as cumulative rewards. In particular, it supports to check the reachability of a set of goal states (by only visiting legal states before) under a time and an accumulated reward constraint.
View Projectx-cure-chat
February 17, 2015 – April 7, 2016
Free open source webchat and forum system allowing to posting downloadable videos and music files.
View ProjectCultural Fit Analysis
The candidate's project portfolio is diverse, covering areas from machine translation to model checking and web development, indicating a broad technical curiosity. However, the 'Individual Entrepreneur' role with a future start date and no detailed responsibilities makes it difficult to assess alignment with a collaborative team environment. The projects are primarily personal, which may suggest a preference for independent work, but this is an inference.
Soft Skills & Operational Fit
Insufficient data to assess soft skills or operational fit. The candidate's project descriptions are technically focused, and no psychometric or English test results are available.