Average article rating: 3.84
Operating Systems
|
Windows |
11 Apr 2004
Updated: 26 Apr 2004
Rating: 3.82/5
Votes: 56
Popularity: 6.68
Licence: CPOL
Views: 134,884
Bookmarked: 28
Downloaded: 0
Discuss the CodeProject's Article Voting System
|
|
16 Apr 2004
Updated: 25 Apr 2004
Rating: 3.50/5
Votes: 47
Popularity: 5.86
Licence: CPOL
Views: 166,046
Bookmarked: 21
Downloaded: 0
In this article I continue my discussion of the CodeProject''s voting system.
|
Programming Languages
|
C |
14 Nov 2006
Updated: 14 Nov 2006
Rating: 3.89/5
Votes: 5
Popularity: 2.72
Licence: CPOL
Views: 53,060
Bookmarked: 8
Downloaded: 0
In this article, we will consider one way of printing double values with a precision derived from the given error-bound.
|
C++ |
31 Aug 2003
Updated: 12 Nov 2003
Rating: 3.92/5
Votes: 28
Popularity: 5.41
Licence: CPOL
Views: 201,283
Bookmarked: 72
Downloaded: 1,267
In this article I am going to touch on the DLL backwards compatibility problem, which is also well known as the 'DLL Hell'.
|
Java |
7 Apr 2004
Updated: 21 Jun 2004
Rating: 2.93/5
Votes: 6
Popularity: 2.28
Licence: CPOL
Views: 38,931
Bookmarked: 11
Downloaded: 0
In this article, I am going to discuss the A11Y and I18N testing of Java based GUIs
|
|
20 Feb 2018
Updated: 22 Feb 2018
Rating: 5.00/5
Votes: 5
Popularity: 3.49
Licence: CPOL
Views: 9,692
Bookmarked: 2
Downloaded: 0
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.
Architect
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)