Biographical notes on Vitali Sh. Kaufman

- Russian version of the page

 

Date of birth

Place of birth

Marriage status

Addresses

21 May, 1941

Kyiv, Ukraine

Married, two daughters, five grandsons

Sites: LIS, 60+, Innovations in Finland, Israel and Russia, Business ideas for 60+ (in Russian yet), VicitA, Kaufmanict.

Email: antispam@vitali.kaufman@gmail.com, antispam@vk@kaufmanict.eu

 

INTERESTS

Internet applications (analysis, testing, systems integration, blockchain, reporting, web services, sites). Distance education. Super vitality systems. E-commerce.

PROFESSIONAL ACTIVITIES (resume)

Analyst, tester, consultant, system architect, programmer.

QUALIFICATION

1990

D.Sc.: Doctor of Physical and Mathematical Sciences of Lomonosov Moscow State University, Specialization on Computer Science. (Highest degree available in Russia). The qualification was confirmed in Finland. 

1969

Ph.D: Philosophy Doctor of the Lomonosov Moscow State University, Specialization on Computer Science. 

Primary Competitive Advantages

1 Solid experience in project management combined with high programming qualifications

       working in programming 50+ years, Doctor of Physical and Mathematical Sciences, former full professor of Lomonosov Moscow State University

       repeatedly had to salvage projects, including international

2. Ability to productive business activity in the field of the latest technologies

       most recently conceived and implemented several non-trivial programming services, and also mastered blockchain-technology

3. Explicitly formulated base of constructive behavior in the rapidly changing world

       Employment niche for capable veterans, Habitological analysis, Natural properties (axioms) of the Web, Social Axioms, Registration revolution, Commandments of programmer,  etc.

COMPUTER EXPERIENCE and SKILLS (current)

Programming Environments and technologies - Truffle, Power BI, NetBeans, Eclipse,Autoit, Selenium-Selenide, MS Windows 10, MS .NET (.Net Framework SDK, VISUAL STUDIO 2013-2015)

Internet software - MS Windows 2003 Server, MS SQL Server 2008, Internet Information Server 7.0, ASP.NET 4, ASP, Apache, WordPress, Internet Explorer, Firefox, Opera, etc. (web-services, servers, browsers, mailers, Web authoring tools)

Languages Solidity, JavaScript, C#, XML/XSL/XSLT, SQL, HTML, CSS, PHP, Autoit, TCL, Ruby,Object Pascal, Java, Visual Basic, etc.

Application software - Microsoft Office, etc.

BOOKS

Programming languages: concepts and principles

Moscow :Radio i svyas, 1993, 432 pp. (in Russian). 

Republished in Classics of programming series

Moscow :DMK-Press, 2010, 464 pp.

Fundamental concepts and principles of recent and future programming languages are discussed. Different styles of programming are presented (operational, situational, functional, relational, parallel, object-oriented, etc.). Five views on a programming language problems and solutions are discussed (by user, by language creator, by mathematician, by linguist, by compiler creator). Samples of solutions from Pascal, Simula-67, Smalltalk, Refal, Ada, Modula-2, Oberon, Okkam-2, C++, etc. are discussed.

You could look also at Samples_of_references, Preface to the First Edition, Preface to the Second Edition, and Excerpt (translated into English by Ilja Tauber).

Programming language standardization 

Kiev: Technika, 1989, 189 p. (in Russian, three co-authors). 

Problems, principles and state of art in national and international standardization of programming languages are considered. 

Basic Fortran (tutorial)

oscow: Moscow State University publishing house, 1982, 200 pp. (in Russian, six co-authors). 

Programmed tutorial for programmed education system Nastavnik by Computer Science Department of the Moscow State University.

MAIN POSITIONS

2009-

KaufmanICT, Helsinki, CEO

1999-2009

Fatman Ltd., Helsinki, 
Chief Software Specialist

1960-1993

Computer Science Department of the Moscow State University, Moscow, 

Scientific Research Computer Center of the Moscow State University, Moscow
Full Professor (Researcher,.Senior Researcher, Associate Professor)

OTHER PROFESSIONAL ACTIVITIES

1992-1994 

Ada 9X Distinguished Reviewer, member of ACM, SIGPLAN, SIGADA 

1990-1993 

Chairman of the Ada Working Group in the Russian National Body of the International Standard Organization (ISO-IEC/JTC1/SC-22 - Programming Languages) 

1970-1986 

Organized and edited translations into Russian of 6 English books in software engineering

1970-1993

Scientific supervisor of 11 Ph.D on Computer Sciences. Former graduate students work very successfully, including in Moscow State University, Moscow Aviation Institute (National Research University), Luxoft, Ericsson, Microsoft, etc.

1965-1966

Teacher of mathematics of Moscow State University College No.18 for Physics 
and Mathematics (Kolmogorov's School for extremely talented children

OTHER PUBLICATIONS

Selected bibliography consists of 65 referred papers.

PROGRAMMING and RESEARCH EXPERIENCE in FINLAND

KaufmanICT, 2015-present time

Light Instrument for internet Surfing (LIS)

Follow effective modern style of work with the information with our LIS - quite simply, absolutely nothing extra. Download it now - completely free!

KaufmanICT, 2013- present time

VicitA, (60+, Finnish innovations, Russian innovations - in Russian yet).

Video citation editor and player.

KaufmanICT, 2014-2017

Immortal service project.

Immortal service prototype.

KaufmanICT, 2009-2013

Long-Term contract with Fatman.

Continuation of Fatman projects: ecenter, merimieselakekassa, netmaster, etc..

Fatman - Facility Technical Management, 1999 - 2009

X_Change, ecenter, merimieselakekassa, Infrapass, Infonetmaster, Tyonhallinta, Infomaster, helpdesk, INFOAGENT, etc.

International and local Internet projects (a universal monitoring system of access control, legacy transformations of Intranet applications, internet applications used for remote building management, etc.)

1998

Ada quality & style checker gch (Debian package 19990519-8)

An Open Source ASIS application that enforces various quality and style rules, including those from the Ada Quality and Style Guide.

Lahti Research and Training Center of Helsinki University (Helsinki), September 1995-1997

Lectures and demos showing Internet technologies of education, web authoring, multimedia communication. 
Internet guide for beginners (in Russian)

The guide was oriented to beginners outside Russia, especially real or potential businessmen interested in Russia.

ABO AKADEMI, 1993 - 1994

"Context-sensitive data refinement and provable optimized compilation". Technical report A94-155, Series A of the Computer Science Department of the Abo Akademi.

Natural specification and verification of optimized compilation based on the Refinement Calculus.

A prototype of the Refinement Editor (RE) under UNIX for SunOS 4.1.x.

RE supported a stepwise refinement approach to program construction based on preservation of the refinement relation between original and transformed statements. The approach is applicable to concurrent, reactive and distributed programs.

TAMPERE UNIVERSITY of TECHNOLOGY. 1993-1994 

"Pattern Calculus". Technical report 15, Computer Science Department of the Tampere University of Technology.

A simplification of general specification tools by using so called "multi-valued terms" and powerful patterns.

"Incremental Formal Modeling of Protected Records in Ada 9X" (joint work with Prof. Reino Kurki-Suonio)

The model provides a basis for rigorous inspection of Ada 9X tasking issues, needed in language design, implementation, and teaching.

 

PROGRAMMING and RESEARCH EXPERIENCE in RUSSIA

Computer Science Department of the Lomonosov Moscow State University

Scientific Research Computer Center of the Lomonosov Moscow State University, 1960-1991

Algol 60 compiler for the first small Russian ternary computer Setun. A multi-language modular programming system SIMPR, Algol 60 and Fortran 66 compilers, time-sharing operation system BISON for the Russian computer BESM-6 (manager of final stages of these successful projects). Local network for BESM-6, educational software for small Russian ternary computer Setun-70. Fortran 77, Pascal and Ada-83 test suites for compiler validation (scientific supervisor of these projects)

V-approach for specification, validation and testing of compilers, programming languages and language-like interfaces (scientific supervisor and co-author). V-approach was regularly used in development of instrumental software for testing the space shuttle "Buran" (the unique fly of the shuttle was completely successful). .

At that time the Scientific Research Computer Center of the Lomonosov Moscow State University was one of the most important Research Centers in Computing Science and Computer Programming in the USSR.

 

EDUCATION

1964-1967

Postgraduate Student at the Lomonosov Moscow State University, Mechanics and Mathematics Faculty.

1959-1964

Student at the Lomonosov Moscow State University, Mechanics and Mathematics Faculty
Master Degree in computer science awarded December 1964. (diploma with honor)

 

Vitali Kaufman's home page


Last modification 19.10.2018