Полное имя

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

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

Адреса

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

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

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

блог:http://vitali-kaufman.blogspot.com/

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

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

1990

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

1969

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

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

среды разработки и технологии - MS .NET (.Net Framework SDK, VISUAL STUDIO 2010) и др.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1999-2009

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

1960-1993

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

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. 

1965-1966

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

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

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

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

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

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

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

1999-2009 

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

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

14.3.2006

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

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

1998 

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

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-подход систематически применялся при создании инструментального программного обеспечения для тестирования советского космического челнока "Буран". Как известно, единственный полет Бурана (без космонавтов) был исключительно успешным.

1964-1967:

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

1959-1964:

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