Click here to Skip to main content
15,066,505 members

Articles by Dr. Ivan S Zapreev (Articles: 6)

Articles: 6

RSS Feed

Average article rating: 3.84

Operating Systems
Windows
Posted: 11 Apr 2004   Updated: 26 Apr 2004   Views: 127,872   Rating: 3.81/5    Votes: 55   Popularity: 6.63
Licence: The Code Project Open License (CPOL)      Bookmarked: 27   Downloaded: 0
Please Sign up or sign in to vote.
Discuss the CodeProject's Article Voting System
Posted: 16 Apr 2004   Updated: 25 Apr 2004   Views: 154,913   Rating: 3.49/5    Votes: 45   Popularity: 5.77
Licence: The Code Project Open License (CPOL)      Bookmarked: 20   Downloaded: 0
Please Sign up or sign in to vote.
In this article I continue my discussion of the CodeProject''s voting system.
Programming Languages
C
Posted: 14 Nov 2006   Updated: 14 Nov 2006   Views: 51,780   Rating: 3.89/5    Votes: 5   Popularity: 2.72
Licence: The Code Project Open License (CPOL)      Bookmarked: 8   Downloaded: 0
Please Sign up or sign in to vote.
In this article, we will consider one way of printing double values with a precision derived from the given error-bound.
C++
Posted: 31 Aug 2003   Updated: 12 Nov 2003   Views: 193,103   Rating: 3.92/5    Votes: 28   Popularity: 5.41
Licence: The Code Project Open License (CPOL)      Bookmarked: 72   Downloaded: 1,250
Please Sign up or sign in to vote.
In this article I am going to touch on the DLL backwards compatibility problem, which is also well known as the 'DLL Hell'.
Java
Posted: 7 Apr 2004   Updated: 21 Jun 2004   Views: 37,370   Rating: 2.93/5    Votes: 6   Popularity: 2.28
Licence: The Code Project Open License (CPOL)      Bookmarked: 11   Downloaded: 0
Please Sign up or sign in to vote.
In this article, I am going to discuss the A11Y and I18N testing of Java based GUIs
Posted: 20 Feb 2018   Updated: 22 Feb 2018   Views: 7,631   Rating: 5.00/5    Votes: 5   Popularity: 3.49
Licence: The Code Project Open License (CPOL)      Bookmarked: 2   Downloaded: 0
Please Sign up or sign in to vote.
Grammar-Guided Genetic Programming library featuring: multi-threading, just-in-time compilation of individuals, dynamic class loading, and JNI interfacing with C/C++ code

Average blogs rating:

No blogs have been submitted.

Average tips rating:

No tips have been posted.

Average reference rating:

No reference articles have been posted.

Average project rating:

No projects have been posted.

Dr. Ivan S Zapreev
Architect
Netherlands Netherlands
PhD in Numerical and Statistical Model Checking of Probabilistic systems. Bachelor and Masters degrees (with honors) in Theoretical Mathematics. Thirteen (13) international research publications, among which nine (10) are DBLP recognized. Seventeen (17) years of work experience in Research, Design and Development of Verification Algorithms for Probabilistic and Control Systems, Scientific Software, Embedded Systems and Web applications. Excellent English (TOEFL-257-PC) and Good Dutch (NT2-2) skills. Permanent Dutch residence.

Specialties:
• Theoretical and applied research in Control and Formal Verification (numerical and statistical);
• Acquiring information, sharing knowledge, lecturing, mentoring, motivating and evaluating people;
• Working on large-scale distributed, multi-threaded, event-driven, cross-disciplinary software projects;

Research experiences:
• Numerical and Statistical Model Checking of Markov Chains;
• Type-2 Computable Topological semantics for CTL* on Dynamic Systems;
• Statistical Machine Translation;
• Deterministic and Symbolic-regression based compression of Symbolic controllers;
• Multi-dimensional trajectory planning with position and derivative constraints.

Teaching and supervision:
• 5 years of teaching at Novosibirsk State University, University of Twente, Fontys Hogescholen
• Supervising 3 master students at TU Twente and RWTH Aachen
• Supervising 11+ trainee-ship/internship students at Fontys Hogescholen
• Managing a group of 7 volunteers in the Russian school foundation
• Leading leading 3 project groups at Fontys Hogescholen

Software experiences (years):
• C++ (8), UML (6), Java (5), C (5), Matlab (4), C# (2), Python (1), Mathematica (1)
• GIT (4), SVN (5), Clearcase (4), Clear Quest (4), SCCS (2)
• CMake (3), Make (2), Ant (2)
• CSS (3), HTML (3), JavaScript (2)