Сведения о В. Ш. Кауфмане

English version of the page

Полное имя

Дата и место рождения

Семейное положение

Адреса

Виталий Шахнович Кауфман

21 мая, 1941, Киев, Украина

Женат, двое дочерей (и пятеро внуков)

Сайты: 60+, ВицитА, Идеи бизнеса для 60+, Инновации Финляндии, Израиля и России, VK_блог, Kaufmanict

Email:antispam@vk@kaufmanict.eu,

antispam@vitali.kaufman@gmail.com

.

ДЕЛОВЫЕ ИНТЕРЕСЫ

Интернет-приложения (аналитика, тестирование, блокчейн, системная интеграция, веб-сервисы, отчётность). Дистанционное обучение. Сверхживучие системы. Оптимизация информационного быта. Электронная коммерция.

ПРОФЕССИОHАЛЬHАЯ ДЕЯТЕЛЬHОСТЬ

Аналитик, консультант, тестировщик, интегратор, архитектор, программист. Руководитель аспирантов.

КВАЛИФИКАЦИЯ

1990

Д.ф.м.н..: Доктор физико-математических наук, специализация 05.13.11 - программное обеспечение компьютерных комплексов. Диссертация защищена в Московском государственном университете им. М.В.Ломоносова. Диплом доктора наук подтвержден в Финляндии. 

1969

К.ф.м.н.: Кандидат физико-математических наук. Диссертация защищена на механико-математическом факультете Московского государственного университета им. М.В.Ломоносова. 

ОСНОВНЫЕ КОНКУРЕНТНЫЕ ПРЕИМУЩЕСТВА

1.      Солидный опыт руководства проектами в сочетании с высшей программистской квалификацией

·        работаю в компьютерных проектах более 50 лет, доктор физико-математических наук, бывший профессор МГУ им. Ломоносова

·        неоднократно приходилось спасать проекты, в том числе международные

2.      Способность к продуктивной деловой активности в области новейших технологий

·        в последнее время задумал и реализовал несколько нетривиальных сервисов, а также освоил блокчейн-технологию

3.      Явно сформулированная база конструктивного поведения в быстро меняющемся мире – Ниша занятости дееспособных ветеранов,  Привычнологический анализ, Культ понимания, Естественные свойства (аксиомы) Сети, Социальные аксиомы, Заповеди программиста, Регистрационная революция и др.

КОМПЬЮТЕРHЫЙ ОПЫТ И HАВЫКИ (в настоящее время)

программные среды - MS Windows и др.

среды разработки и технологии - Truffle, Power BI, NetBeans, Eclipse,Autoit, Selenium-Selenide, MS .NET (.Net Framework SDK, VISUAL STUDIO 2013-2015) и др.

языкиSolidity, JavaScript, C#, XML/XSL/XSLT, SQL, HTML, CSS, PHP, Autoit, TCL, Ruby, Object Pascal, Java, Visual Basic и т.д..

прикладные пакеты - Microsoft Office и др.

Интернет - MS Windows 2008 Server, MS SQL Server 2008, Internet Information Server 7.0, ASP.NET 4.0, ASP,, Apache, WordPress,

Internet Explorer, Firefox, Opera, etc. (web-services, servers, browsers, mailers, Web authoring tools, веб-сервисы,

серверы, навигаторы, средства создания Интернет-сайтов, русификация и т.д.)

Наиболее известная МОHОГРАФИЯ

Языки программирования: концепции и принципы

Москва :Радио и связь, 1993, 432 стр. 

Переиздание в серии «Классика программирования»:

Москва: ДМК-пресс, 2010, 464 стр.

Рассмотрены фундаментальные концепции и принципы, воплощенные в современных и перспективных языках программирования.

Более подробную аннотацию и отзывы можно увидеть на внешней и внутренней обложке второго издания.

Отзывы можно увидеть также здесь, предисловия, выдержки и содержание - здесь, добавление к «заповедям программиста» - здесь.

ОСHОВHЫЕ ДОЛЖHОСТИ

2009-наст. время 

Фирма KaufmanICT (г. Хельсинки), СЕО

1999-2009

Фирма Fatman (г. Хельсинки), главный ИТ-специалист

1960-1993

МГУ им. Ломоносова, факультет ВМК (вычислительной математики и кибернетики) и научно-исследовательский вычислительный центр (НИВЦ), Москва 
Профессор (младший научный сотрудник, старший научный сотрудник, доцент)

ИHАЯ ПРОФЕССИОHАЛЬHАЯ ДЕЯТЕЛЬHОСТЬ

1992-1994 

Специальный рецензент в проекте по созданию Ada 95, действительный член американской Ассоциации вычислительных машин (ACM), групп SIGPLAN и SIGADA 

1990-1993 

Председатель Российской рабочей группы по языку Ада Технического Комитета 22 международной организации по стандартизации ИСО (ISO-IEC/JTC1/SC-22/WG-9 - Programming Language Ada) 

1970-1986 

Hаучный редактор и переводчик с английского на русский. Переведено 6 книг по программной инженерии

1980-1986 

Член РГ РЯП комиссии академика А.П.Ершова по системному математическому обеспечению Координационного комитета по вычислительной технике АН СССР. 

1970-1993

Hаучный руководитель аспирантов. Успешно защищенных кандидатских диссертаций - 11. Бывшие аспиранты работают весьма успешно, в том числе в МГУ, МАИ, Luxoft, Ericsson, Microsoft и т.п. 

1965-1966

Учитель математики в ФМШ 18 при МГУ (школа им. А.Н.Колмогорова для особо одарённых детей).

 

ДРУГИЕ ПУБЛИКАЦИИ : еще две книги и более 70 научных работ

 

ПРОГРАММИСТСКИЙ и ИССЛЕДОВАТЕЛЬСКИЙ ОПЫТ в ФИHЛЯHДИИ

Фирма KaufmanICT (г. Хельсинки), 2015

Личный инструмент сетенёра (ЛИС)

Личный Инструмент Сетенёра (путешественника по Сети) - ЛИС. Следовать эффективному современному стилю работы с информацией с помощью ЛИС-а - проще простого, абсолютно ничего лишнего. Установи бесплатно и консультируйся с Сетью без единого лишнего клика!

Фирма KaufmanICT (г. Хельсинки), 2013-наст.вр.

60+, ВицитА, Финский бизнес, Финские и российские инновации и др.

Сервис ВицитА для создания оглавлений видео и аудио (сборников видео и аудио цитат). Состоит из редактора (инструкция) и проигрывателя (инструкция).

Фирма KaufmanICT (г. Хельсинки), 2009- наст.вр.

Сверхживучие системы (super vitality systems), Бессмертие в Сети. и др.

Прототип сервиса Бессмертие в Сети.

Долговременный контракт с фирмой Fatman.

Развитие проектов Fatman: ecenter, merimieselakekassa, netmaster и др.

Фирма Fatman (г. Хельсинки),

1999-2009 

Проекты ecenter, merimieselakekassa, X_Change, Infrapass, тetmaster, шnfomaster, helpdesk и др. (совместно с другими участниками проектов)

Международные и финские интернет-проекты различного назначения.

14.3.2006

Бессмертие в Сети (файл в формате .ppsx). Приглашённый доклад на конференции «Технологии Microsoft в теории и практике программирования», Санкт-Петербург, факультет технической кибернетики Санкт-Петербургского Государственного политехнического университета.

Идея проекта сетевого сервиса (БС), гарантирующего духовное бессмертие путём представления публичной кибердуши (ПКД) в XML с целью её понимания потомками, репликации ПКД в пиринговой сети с целью сохранности, поддержания БС в действующем состоянии путём организации сетевого сообщества хранителей БС.
Abstract in English.

1998 

Контролёр стиля программ, написанных на языке Ада 95 (совместно с Сергеем Рыбиным) -Ada quality & style checker gch (Debian package 19990519-8). 

Open Source ASIS приложение, которое следит за соблюдением правил из Ada Quality and Style Guide (касающихся качества и стиля исходного кода) .

Лахтинский исследовательско-учебный центр Хельсинкского университета (г. Хельсинки), 1995-97 

Интернет-гид для новичков-интернавтов

Ориентирован в основном на живущих вне России, однако в те времена оказался полезен и для многих россиян.. 

Шведская Академия (г. Турку), 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).

Спецификация и верификация оптимизированной компиляции в рамках Refinement Calculus.

Прототип пошагового редактора (Refinement Editor)

Редактор поддерживал пошаговую разработку программ (не только последовательных, но также и параллельных, распределенных и реактивных), обеспечивая сохранение их правильности при каждом преобразовании.

Технологический университет Тампере. 1993-1994

Исчисление образцов. ("Pattern Calculus". Technical report 15, Computer Science Department of the Tampere University of Technology).

Упрощение средств спецификации за счет применения многозначных термов и мощных образцов.

Пошаговое формальное моделирование защищенных объектов в языке Ада 9Х ("Incremental Formal Modelling of Protected Records in Ada 9X"-(совместная работа с проф. Рейно Курки-Суонио (Reino Kurki-Suonio)) 

Свойства произвольной Ада-программы вводятся пошаговой детализацией на таком уровне абстракции, который обеспечивает подробное точное определение защищенных объектов (призванных управлять доступом к общим данным из параллельных Ада-задач). Модель пригодна для строгого исследования указанных языковых аспектов, реализации языка, а также для обучения.

ПРОГРАММИСТСКИЙ  и ИССЛЕДОВАТЕЛЬСКИЙ ОПЫТ в РОССИИ

Hаучно-Исследовательский Вычислительный Центр (HИВЦ) МГУ им. Ломоносова. 1960-1991

Компилятор Алгол 60 для первого в мире малого троичного  компьютера Сетунь. Многоязычная модульная система программирования СИМПР, компиляторы языков Алгол 60 и Фортран 66, операционная система БИЗОH для БЭСМ-6 (руководил этими успешными проектами на их завершающей стадии), локальная сеть для БЭСМ-6, методика и комплекты тестов для проверки компиляторов Фортрана 77, Паскаля и Ады (руководил разработкой).

V-подход к определению языков программирования и языковых интерфейсов, спецификации и тестированию компиляторов (научный руководитель и соавтор). V-подход систематически применялся при создании инструментального программного обеспечения для тестирования советского космического челнока "Буран". Как известно, единственный полет Бурана (без космонавтов) был исключительно успешным.

HИВЦ МГУ был в то время одним из наиболее значительных советских исследовательских центров в области программирования. В.Ш.Кауфман работал в НИВЦ МГУ под руководством Евгения Андреевича Жоголева, одного из пионеров отечественного программирования.

 

ОБРАЗОВАHИЕ

1964-1967:

Аспирант механико-математического факультета МГУ

1959-1964:

Студент механико-математического факультета МГУ.  Диплом мехмата МГУ с отличием.


Последнее исправление 19.10.2018