| Name | Vitali Shahnovich Kaufman |
| Date of birth | 21 May, 1941 |
| Place of birth | Kiev, Ukraina (former USSR) |
| Marriage status | Married, two children |
| Citizenship | Finland |
| Addresses | E-mail:
vitali.kaufman@gmail.com https://kaufmanict.eu/vk/ |
| 1990 | D.Sc.: Doctor of Physical and Mathematical Sciences of 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 Moscow State University, Specialization on Computer Science. |
| 1959-1964 | Student at the Faculty
of Mathematics of Moscow State University.
Master Degree in computer science awarded December 1964. |
| 1964-1967 | Postgraduate Student at the Faculty of Mathematics of Moscow State University. |
| 1968-1970 | Scientific Research Computer Center of the Moscow State University,
Moscow,
Researcher. |
| 1970-1982 | Scientific Research Computer Center of the Moscow State University,
Moscow,
Senior Researcher. |
| 1982-1990 | Computer Science Department of the Moscow State University, Moscow,
Associate Professor. |
| 1991-1993 | Computer Science Department of the Moscow State University, Moscow,
Full Professor. |
| Programming languages: concepts and principles | Moscow :Radio i svyas, 1993, 432 pp. (in Russian). | The languages Ada, Fortran, Pascal, Modula-2, Oberon, C++, Occam-2 etc. are considered. |
| Programming language standardization | Kiev: Technika, 1989, 189 p. (in Russian, two co-authors). | Problems, principles and state of art in national and international standardization of programming languages are considered. |
| Selected bibliography consist of 65 referred papers. |
| 1965-1966 | Teacher of mathematics of Moscow State University College No.18 for Phisics and Mathematics (Kolmogorov's School for extremely talented children) |
| 1970-1993 | Scientific supervisor of 11 Ph.D on Computer Sciences |
| 1970-1986 | Organized and edited translations into Russian of 6 English books in software engineering. |
| 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) |
| 1992-1994 | Ada 9X Distinguished Reviewer, member of ACM, SIGPLAN, SIGADA |
| 1960-1991 | A multi-language modular programming system SIMPR, Algol 60 and Fortran 66 compilers, time-sharing operation system BISON, local network for the Russian computer BESM-6, Fortran 77, Pascal and Ada-83 test suites for compiler validation. | V-approach for specification, validation and testing of compilers, programming languages and language-like interfaces. V-approach was regularly used in development of an instrumental software for testing the space shuttle "Buran" (a unique fly of the shuttle was completely successful). . |
| TAMPERE UNIVERSITY of TECHNOLOGY. February 1993 | "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. |
| TAMPERE UNIVERSITY of TECHNOLOGY. April 1993 | "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. |
| ABO AKADEMI (Turku), May 1993 | A prototype of the Refinement Editor (RE) under UNIX, OpenWindows 3.0 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. |
| ABO AKADEMI, October 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. |
| Lahti Research and Training Center of Helsinki University (Helsinki), September 1995-1997 | A lot of demos and lectures showing Internet technologies of education,
web authoring, multimedia communication.
Internet guide for beginners (in Russian) |
The guide is oriented to beginners outside Russia, especially real or potential businessmen interested in Russia. |
| 1998 | Ada quality & style checker gch (Debian package 19990519-8) | An ASIS application that enforces various quality and style rules, including those from the Ada Quality and Style Guide. |
| Fatman - Facility Technical Management, 1999-2003 | INFOAGENT project, etc. | An Internet application used for remote building management. (Sorry, interfaces are mainly in Finnish). A report exampls: 1. |
| Fatman - Facility Technical Management, 2004 - | Infrapass project | An Internet application used for remote building security management. (guest access login:"PowerUser", password: "PowerUser") |
| Programming Environments and technologies - MS Windows (XP, 2000, NT), MS .NET (.Net Framework SDK, ASP.NET Web Matrix, VISUAL STUDIO .NET Architect), MS ASP, Borland Delphi Enterprise version 6 |
| Internet software - MS Windows 2000 Server, MS SQL Server 2000, MS Windows NT Server 4.0., Internet Information Server 4.0, ASP.NET, ASP, Active X, Netscape 6, Internet Explorer 6, Microsoft Frontpage, etc (servers, browsers, mailers, Web authoring tools) |
| languages - C#, Object Pascal, SQL, HTML, JavaScript, Java, CSS, VRML, Ada, Modula-2, C++, Prolog, Perl, Visual Basic, etc. |
| application software - Microsoft Office 7.0, etc. |
| hardware - IBM compatible PCs |
| Reliable technology for software engineering. |
| Internet applications and Internet culture, Web authoring languages and tools. Distance education by the Internet. |
Last modification 21.4.2005