Биографическая справка о В.Ш.Кауфмане
|
Полное имя |
Виталий Шахнович Кауфман |
|
|
Дата рождения |
21 мая, 1941 г. |
|
|
Место рождения |
г. Киев, Украина |
|
|
Семейное положение |
Женат, двое дочерей
(и пятеро внуков) |
|
|
Гражданство |
Финское |
|
|
Адреса |
|
КВАЛИФИКАЦИЯ
|
1990 |
Д.ф.м.н..: Доктор физико-математических наук, специализация 05.13.11 - программное обеспечение компьютерных комплексов. Диссертация защищена в Московском государственном университете им. М.В.Ломоносова. Диплом доктора наук подтвержден в Финляндии. |
1969 |
К.ф.м.н.: Кандидат физико-математических наук. Диссертация защищена на механико-математическом факультете Московского государственного университета им. М.В.Ломоносова. |
КОМПЬЮТЕРHЫЙ ОПЫТ
И HАВЫКИ (в настоящий момент)
|
программные среды - MS Windows |
|
среды разработки и технологии - MS .NET (.Net Framework SDK, VISUAL STUDIO
2008, Entity Framework), Borland Delphi Enterprise |
|
языки - C#, XML/XSL/XSLT, SQL, HTML, JavaScript,
CSS, Object Pascal, Java, Ada, C++, Prolog, Perl, Visual
Basic и т.д.. |
|
прикладные пакеты - Microsoft Office 2007, |
|
Интернет - MS Windows 2003 Server, MS SQL Server 2005, Internet Information
Server 6.0, ASP.NET, ASP, Internet Explorer 7, Firefox 3.0.0.3, Opera 9.23,
etc. (servers, browsers, mailers, Web authoring tools, Russification
tools; серверы, навигаторы, средства создания Интернет-сайтов, русификация и
т.д.) |
ОСHОВHЫЕ ДОЛЖHОСТИ
|
1991-1993 |
Факультет
вычислительной математики и кибернетики МГУ, Москва |
|
1982-1990 |
Факультет вычислительной
математики и кибернетики МГУ, Москва |
|
1970-1982 |
HИВЦ МГУ,
Москва |
|
1968-1970 |
HИВЦ МГУ,
Москва |
Hаучно-Исследовательский
Вычислительный Центр (HИВЦ) МГУ был одним из наиболее значительных советских
исследовательских центров в области программирования. В.Ш.Кауфман участвовал в создании самых первых
трансляторов и операционных систем для оригинальных отечественных компьютеров
Стрела, Сетунь, затем БЭСМ-6, работая в то время под руководством Евгения
Андреевича Жоголева.
МОHОГРАФИИ
|
Языки
программирования: концепции и принципы |
Москва :Радио и
связь, 1993, 432 стр. |
Ключевые
концепции и принципы, определяюшие структуру языков программирования, рассмотрены
на примерах языков Ада, Фортран, Паскаль, Модула-2, Оберон, C++, Оккам-2 и др. |
|
Стандартизация языков программирования |
Киев: Технiка, 1989, 189 стр. (соавторы:
А.Л.Александров, Л.П.Бабенко, Е.Л.Ющенко). |
Рассмотрены проблемы,
принципы и состояние отечественной и международной стандартизации языков
программирования. |
ДРУГИЕ ПУБЛИКАЦИИ
|
Опубликовано более 70 работ. |
ПРОГРАММИСТСКИЙ и ИССЛЕДОВАТЕЛЬСКИЙ ОПЫТ в
ФИHЛЯHДИИ
|
Фирма Fatman (г. Хельсинки), 2006-наст.время |
Проекты X_Change, ecenter, merimieselakekassa и др. |
Международные и
финские интернет-проекты различного назначения. |
|
14.3.2006 |
Бессмертие в Сети (файл в формате .ppt). Приглашённый доклад на конференции «Технологии Microsoft в теории и практике программирования»,
Санкт-Петербург, факультет технической кибернетики Санкт-Петербургского
Государственного политехнического университета. |
Идея проекта
сетевого сервиса (БС), гарантирующего духовное бессмертие путём представления
публичной кибердуши (ПКД) в XML с целью её понимания потомками, репликации ПКД в пиринговой сети с целью
сохранности, поддержания БС в действующем состоянии путём организации
сетевого сообщества хранителей БС. |
|
Фирма Fatman (г. Хельсинки), 2004-2006 |
Проект InfraPass (совместно сo Стефаном
Нюманом, веб-интерфейс мой полностью) |
Интернет-приложение для дистанционного управления доступом в здания и
сооружения, оснащённые электронными замками. |
|
Фирма Fatman (г. Хельсинки), 1999-2004 |
Проекты: Infomaster, helpdesk, Nettimaster, INFOAGENT (совместно с другими участниками проектов) |
Интернет-приложения,
применяющиеся для дистанционного управления зданиями и сооружениями. |
|
1998 |
Контролёр стиля
программ, написанных на языке Ада 95 (совместно с Сергеем Рыбиным) -Ada quality & style checker gch (Debian package 19990519-8). |
ASIS приложение,
которое следит за соблюдением правил из Ada Quality and Style Guide (касающихся качества и стиля исходного кода) . |
|
Лахтинский
исследовательско-учебный центр Хельсинкского университета (г. Хельсинки), 1995-97 |
Отличался
ориентацией в основном на живущих вне России, однако в те времена оказался полезен и для многих
россиян.. |
|
|
Шведская
Академия (г. Турку), Октябрь 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. |
|
Шведская
Академия (г. Турку), Май 1993 |
Прототип
пошагового редактора (Refinement Editor) |
Редактор
поддерживал пошаговую разработку программ, обеспечивая сохранение их правильности
при каждом преобразовании. Основан на исчислении преобразований Бэка,
применимом не только к последовательным, но также и к параллельным,
распределенным и реактивным программам. |
|
Технологический университет Тампере. Апрель 1993 |
Исчисление образцов. ("Pattern Calculus".
Technical report 15, Computer Science Department of the Tampere University of
Technology). |
Упрощение
средств спецификации за счет применения многозначных термов и мощных
образцов. |
|
Технологический университет Тампере. Февраль 1993 |
Пошаговое формальное моделирование защищенных объектов в языке Ада 9Х ("Incremental Formal Modelling of Protected Records in Ada 9X"-(совместная работа с проф. Рейно Курки-Суонио (Reino Kurki-Suonio)) |
Свойства произвольной
Ада-программы вводятся пошаговой детализацией без каких-либо априорных
ограничений, однако на таком уровне абстракции, который обеспечивает
подробное точное определение специфических новых понятий этого языка, а
именно защищенных объектов (призванных управлять доступом к общим данным из
параллельных Ада-задач). Модель может служить основой для строгого
исследования указанных языковых аспектов, необходимого для создания и
реализации языка, а также при обучении. |
ПРОГРАММИСТСКИЙ и ИССЛЕДОВАТЕЛЬСКИЙОПЫТ в РОССИИ
|
1960-1991 |
Компилятор Алгол 60 для первого в мире малого
троичного компьютера Сетунь.
Многоязычная модульная система программирования СИМПР, компиляторы
языков Алгол 60 и Фортран 66, операционная система БИЗОH, локальная сеть для БЭСМ-6, методика
и комплекты тестов для проверки компиляторов Фортрана 77, Паскаля и Ады. |
V-подход к определению языков программирования и
языковых интерфейсов, спецификации и тестированию компиляторов.
V-подход систематически
применялся при создании инструментального программного обеспечения для
тестирования советского космического челнока "Буран". Как
известно, единственный полет Бурана (без космонавтов) был исключительно
успешным. |
ОБРАЗОВАHИЕ
|
1964-1967 |
Аспирант механико-математического факультета МГУ. |
|
1959-1964 |
Студент механико-математического факультета МГУ. |
И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 книг по
программной инженерии. |
|
1970-1993 |
Hаучный
руководитель аспирантов. Успешно защищенных кандидатских диссертаций - 11. |
|
1965-1966 |
Учитель
математики в ФМШ 18 при МГУ (школа им. А.Н.Колмогорова для особо одарённых
детей). |
ИHТЕРЕСЫ
|
Интернет-приложения и Интернет-культура. Дистанционное обучение в Интернете. |
|
Hадежная программная инженерия. |
Биографическая справка
о В.Ш.Кауфмане
Последнее исправление
27.11.2007