Own car

Driver's license category B

My name is Dr. Ivan S. Zapreev. I come from Russia but now I have a Dutch citizenship. I am 43 years old and I lived and worked in the Netherlands for 18 years and since 2021 I live and work in Russia again. I speak and write fluently in Russian (native), English (TOEFL 256 PC based) as well as Dutch (level NT2-2). My PhD work was on Numerical and Statistical Model Checking of Markov Chains: https://research.utwente.nl/en/publications/model-checking-markov-chains-techniques-and-tools I have 14 international research publications (where I made the major input) among which Twelve (12), are DBLP recognized, (https://dblp.org/pid/77/4517.html) and Six (6) Codeproject articles (https://www.codeproject.com/Articles/Dr-Ivan-S-Zapreev). I have 20+ years of work experience within which I spent about 10+ years doing Mathematical (Computer Science and Data Science) research and teaching at the universities and 10+ years working in different ICT positions, such as software engineer, software architect, product owner and etc. Being young and passionate researcher, in the last years I worked on developing numerical and statistical algorithms and software in the areas such as numerical and statistical model checking, model checking cyber-physical systems, compressing of correct-by-design embedded controllers, symbolic regression and genetic programming, neural networks, statistical machine translation, motion control platforms and domain specific languages. Being a theoretical mathematician by education, I have a lot of practical industrial experience with software engineering. I am keen on developing new theories/algorithms and putting them to practical use via industrialized applications. in 2020, I have passed Data Science Professional certification programs at Harvard (with R) and IBM (with Python) please see the online transcripts for more details: 1. https://credentials.edx.org/records/programs/shared/a2f03c6cf50345369e8c5a4d6db8996e/ 2. https://credentials.edx.org/records/programs/shared/66af18d1e55b4502a6ef2c6bc7980abc/ For all of my Data Science related certificates please contact me. My Data Science portfolio projects in R: 1.1 “German Apartment Rentals” predicting renting prices, time series analysis: • R script: https://github.com/ivan-zapreev/data-science-r-projects/raw/master/capstone/apartment_rental_project.R • Rmd script: https://github.com/ivan-zapreev/data-science-r-projects/raw/master/capstone/apartment_rental_report.Rmd • Report document: https://github.com/ivan-zapreev/data-science-r-projects/blob/master/capstone/apartment_rental_report.pdf 1.2. “Movie Rating System”, devising recommendation system: • R script: https://github.com/ivan-zapreev/data-science-r-projects/raw/master/capstone/movielens_project.R • Rmd script: https://github.com/ivan-zapreev/data-science-r-projects/raw/master/capstone/movielens_report.Rmd • Report: https://github.com/ivan-zapreev/data-science-r-projects/blob/master/capstone/movielens_report.pdf My Data Science portfolio projects in Python: 2.1. Data Wrangling, Data Analysis, (Logistic) Regression, Classification and Dimensionality reduction tasks on “New York 311 compliant and PLUTO data sets”: i. https://github.com/ivan-zapreev/data-science-python-projects/ 2.2 "An unsupervised anomaly/attack detection method for network events - HTTP requests, with a Restful Service" i https://github.com/ivan-zapreev/ML-PT 2.3 "A supervised candidate python test scoring with Classical ML as well as Deep neural Networks (Graph Code Bert/RoBerta)" i https://github.com/ivan-zapreev/candidate_scoring 2.4 "Spam filtering within the Telegram bot" i https://github.com/ivan-zapreev/jane_de_wekker I have vast experience with statistics, and Data Science: 1. TU Twente - PhD - Building statistical models for formal verification of probabilistic and stochastic systems – 2 years. 2. Universiteit van Amsterdam - PostDoc - Building and training efficient realization for statistical models for statistical machine translation – 2 years. 3. Universiteit van Delf - PostDoc - Applying symbolic and numeric regression methods in combination with genetic programming for data fitting data and making use of Monte Carlo methods for fitness control – 1.5 years. 4. Working as Senior Data Scientist for Skan AI and other companies - 2+ years More of my portfolio projects are to be found on my GitHub: https://github.com/ivan-zapreev/ One of the C++ portfolio projects is: "Distributed Statistic Machine Translation Infrastructure": https://github.com/ivan-zapreev/Distributed-Translation-Infrastructure