cofounder and Scientific consultant, at OOO "Program Verification Systems"
Russian Federation
- Current
-
- Cofounder and scientific consultant at OOO "Program Verification Systems"
- Past
-
- Team manager at Viva64 Team
- Developer at E.G.S. s.r.l.
- Associate research at Amalgamated Institute of High Temperatures of Russian Academy of Sciences (AIHT RAS)
- Software developer & Team leader at Scientific Centre "GDT Software Group"
- Education
-
- Institute for Mathematical Modelling, Russian Academy of Sciences
- Connections
-
30
connections
- Industry
- Computer Software
- Websites
Andrey Karpov’s Summary
Have experience of staff work management of several people.
Create Viva64 Team (http://www.Viva64.com)
Professional occupation:
• Development of plug-in options with the use of COM technology.
• Creating systems of Computer-Aided Testing.
• Maintenance and development of cross-platform package of computational modeling of dynamic processes of GDT.
• Development of protection system on basis of hardware keys HASP.
• Experience of development of 3D editor (LeiOS), constructed on basis of ACIS library.
• Port of multipurpose scientific visualizer ScientificVR for Linux.
• Verification of code with the use of static analyzers.
• Port of several applications on 64-bit platforms.
• Development of static analyzer of C/C++ code.
Manage a study-group of programming.
The author or co-author of several dozens of publications and program-registration certificates.
Andrey Karpov’s Experience
-
Cofounder and scientific consultant
OOO "Program Verification Systems"
(Program Development industry)
April 2008 — Present (1 year 4 months)
Specializing in questions of increasing quality of program systems. Solves theoretical and practical questions of static code analysis. Takes part in creation of VivaCore library and code analyzers Viva64, VivaMP.
-
Team manager
Viva64 Team
(Computer Software industry)
August 2006 — April 2008 (1 year 9 months)
-
Developer
E.G.S. s.r.l.
(Computer Software industry)
September 2007 — March 2008 (7 months)
-
Associate research
Amalgamated Institute of High Temperatures of Russian Academy of Sciences (AIHT RAS)
(Research industry)
January 2006 — December 2007 (2 years)
-
Software developer & Team leader
Scientific Centre "GDT Software Group"
(Computer Software industry)
September 2001 — June 2007 (5 years 10 months)
Main occupation – organization of work for development of the system of scientific visualization ScientificVR, development of parallel cross-platform applications on C++ language for OS: Windows, Linux. Hardware platforms: x86 family, x64 family (AMD Opteron), IA-64 (Intel Itanium 2), PowerPC G5.
Andrey Karpov’s Education
-
Institute for Mathematical Modelling, Russian Academy of Sciences
Additional Information
Andrey Karpov’s Websites:
Andrey Karpov’s Interests:
Philosophy, cosmogony, chess, outings, code quality assurance.
Andrey Karpov’s Honors:
CodeProject article competition for May. Article : "20 issues of porting C++ code on the 64-bit platform"
Andrey Karpov’s Contact Settings
Interested In:
- career opportunities
- consulting offers
- new ventures
- job inquiries
- expertise requests
- business deals
- reference requests
- getting back in touch
