Сведения о В. Ш. Кауфмане
|
Полное имя |
Дата и место рождения |
Семейное положение |
Адреса |
|
|
Виталий Шахнович Кауфман |
21 мая, 1941, Киев, Украина |
Женат, двое дочерей (и пятеро внуков) |
|
ДЕЛОВЫЕ ИНТЕРЕСЫ
|
Интернет-приложения (аналитика, тестирование, блокчейн, системная интеграция, веб-сервисы, отчётность). Дистанционное обучение. Сверхживучие системы. Оптимизация информационного быта. Электронная коммерция. |
|
Аналитик, консультант, тестировщик, интегратор, архитектор, программист. Руководитель аспирантов. |
КВАЛИФИКАЦИЯ
|
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-наст.вр. |
ВицитА и др. |
Сервис ВицитА для создания оглавлений видео и аудио (сборников видео и аудио цитат). Состоит из редактора (инструкция) и проигрывателя (инструкция). |
|
Фирма 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 с
целью её понимания потомками, репликации ПКД в пиринговой сети с целью
сохранности, поддержания БС в действующем состоянии путём организации
сетевого сообщества хранителей БС. |
|
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: |
Студент механико-математического факультета МГУ. Диплом мехмата МГУ с отличием. |
Последнее исправление
16.2.2023