Ivan Zapreev
Software Engineer at Individual Entrepreneur
Eindhoven, North Brabant, Netherlands
Summary
👤
Senior🎓
Top SchoolIvan Zapreev is a software engineer and researcher with a PhD in model checking of probabilistic systems and 17 years of industry experience, backed by 20 years of research in verification algorithms, control systems and scientific software. He combines deep theoretical training in mathematics with hands-on engineering in C++, Java and embedded/web stacks to design large-scale, multi-threaded and distributed systems. Author of 14 international publications (12 DBLP-recognized), he has led cross-disciplinary projects that span numerical and statistical model checking, symbolic controller compression and multi-dimensional trajectory planning. An experienced educator and mentor, he has supervised students at TU Twente, RWTH Aachen and TU Delft and taught at Novosibirsk State University and the University of Twente. Dutch passport holder based in Eindhoven, he pairs advanced formal-methods expertise with practical tool-building and strong communication skills in English and Dutch.
17 years of coding experience
Researcher, System Programming, Researcher, System Programming at Institute of Informatics SystemsJunior High/Intermediate/Middle School Education and Teaching, Junior High/Intermediate/Middle School Education and Teaching at Novosibirsk School-College No 130Doctor of Philosophy (Ph.D.), Model Checking of Probabilistic Systems, Doctor of Philosophy (Ph.D.), Model Checking of Probabilistic Systems at Universiteit TwenteBachelor's Degree, Theoretical Mathematics, With Honors, Bachelor's Degree, Theoretical Mathematics, With Honors at Novosibirsk State University (NSU)
English, Dutch, Russian
Github Skills (55)
machine-translation10
ssl10
translation10
multicore10
load-balancing10
statistical-machine-translation10
post-processing10
interval-arithmetic10
numerical-analysis10
communications10
computation9
data-processing9
formal-verification9
scalability9
infrastructure9
Programming languages (3)
Github contributions (5)
ivan-zapreev/MRMC
Feb 2015 - Jun 2020
Contributions:1 release, 5 commits, 3 pushes in 5 years 4 months
ivan-zapreev/ML-PT
Jan 2023 - Jan 2023
Contributions:109 commits in 7 days
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.