| Полное имя | Виталий Шахнович Кауфман | |
| Дата рождения | 21 мая, 1941 г. | |
| Место рождения | г. Киев, Украина | |
| Семейное положение | Женат, двое детей (и пятеро внуков) | |
| Гражданство | Финское | |
| Адреса |
|
| 1990 | Д.ф.м.н..: Доктор физико-математических наук, специализация 05.13.11 - программное обеспечение компьютерных комплексов. Диссертация защищена в Московском государственном университете им. М.В.Ломоносова. Диплом доктора наук подтвержден в Финляндии. | 1969 | К.ф.м.н.: Кандидат физико-математических наук. Диссертация защищена на механико-математическом факультете Московского государственного университета им. М.В.Ломоносова. |
| 1959-1964 | Студент механико-математического
факультета МГУ.
Диплом с отличием выдан в декабре 1964 г.. |
| 1964-1967 | Аспирант механико-математического факультета МГУ. |
| 1968-1970 | HИВЦ МГУ, Москва
старший инженер. |
| 1970-1982 | HИВЦ МГУ, Москва
Старший научный сотрудник. |
| 1982-1990 | Факультет вычислительной математики и кибернетики МГУ, Москва
Доцент. |
| 1991-1993 | Факультет вычислительной математики и кибернетики МГУ, Москва
Профессор. |
| Языки программирования: концепции и принципы | Москва :Радио и связь, 1993, 432 стр. | Ключевые концепции и принципы, определяюшие структуру языков программирования, рассмотрены на примерах языков Ада, Фортран, Паскаль, Модула-2, Оберон, C++, Оккам-2 и др. |
| Стандартизация языков программирования | Киев: Технiка, 1989, 189 стр. (соавторы: А.Л.Александров, Л.П.Бабенко, Е.Л.Ющенко). | Рассмотрены проблемы, принципы и состояние отечественной и международной стандартизации языков программирования. |
|
|
| 1965-1966 | Учитель математики в ФМШ 18 при МГУ (школа им. А.Н.Колмогорова для особо одарённых детей). |
| 1970-1993 | Hаучный руководитель аспирантов. Успешно защищенных кандидатских диссертаций - 11. |
| 1970-1986 | Hаучный редактор и переводчик с английского на русский. Переведено 6 книг по программной инженерии. |
| 1990-1993 | Председатель Российской рабочей группы по языку Ада Технического Комитета 22 международной организации по стандартизации ИСО (ISO-IEC/JTC1/SC-22/WG-9 - Programming Language Ada) |
| 1992-1994 | Специальный рецензент в проекте по созданию Ada 95, действительный член американской Ассоциации вычислительных машин (ACM), групп SIGPLAN и SIGADA |
| 1960-1991 | Много-язычная модульная система программирования СИМПР, компиляторы языков Алгол 60 и Фортран 66, операционная система БИЗОH, локальная сеть для БЭСМ-6, методика и комплекты тестов для проверки компиляторов Фортрана 77, Паскаля и Ады. | V-подход к определению языков программирования и языковых интерфейсов, спецификации и тестированию компиляторов. V-подход систематически применялся при создании инструментального программного обеспечения для тестирования советского космического челнока "Буран". Как известно, единственный полет Бурана (без космонавтов) был исключительно успешным. |
| Технологический университет Тампере. Февраль 1993 | Пошаговое формальное моделирование защищенных объектов в языке Ада 9Х ("Incremental Formal Modelling of Protected Records in Ada 9X"-(совместная работа с проф. Рейно Курки-Суонио (Reino Kurki-Suonio)) | Свойства произвольной Ада-программы вводятся пошаговой детализацией без каких-либо априорных ограничений, однако на таком уровне абстракции, который обеспечивает подробное точное определение специфических новых понятий этого языка, а именно защищенных объектов (призванных управлять доступом к общим данным из параллельных Ада-задач). Модель может служить основой для строгого исследования указанных языковых аспектов, необходимого для создания и реализации языка, а также при обучении. |
| Технологический университет Тампере. Апрель 1993 | Исчисление образцов. ("Pattern Calculus". Technical report 15, Computer Science Department of the Tampere University of Technology). | Упрощение средств спецификации за счет применения многозначных термов и мощных образцов. |
| Шведская Академия (г. Турку), Май 1993 | Прототип пошагового редактора (Refinement Editor) | Редактор поддерживает пошаговую разработку программ, обеспечивая сохранение их правильности при каждом преобразовании. Основан на исчислении преобразований Бэка, применимом не только к последовательным, но также и к параллельным, распределенным и реактивным программам. |
| Шведская Академия (г. Турку), Октябрь 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. |
| Лахтинский исследовательско-учебный центр Хельсинкского университета (г. Хельсинки), 1995-97 | Интернет-гид для новичков-интернавтов | Отличается ориентацией на живущих вне России (им требуется работать на нескольких языках), использование новейших навигаторов (Netscape 3.х-4.х) и прямой доступ к Интернету. |
| 1998 | Контролёр стиля программ, написанных на языке Ада 95 (совместно с Сергеем Рыбиным) -Ada quality & style checker gch (Debian package 19990519-8). | ASIS приложение, которое следит за соблюдением правил из Ada Quality and Style Guide (касающихся качества и стиля исходного кода) . |
| Фирма Fatman (г. Хельсинки), 1999-наст.время | Проект INFOAGENT (совместно с другими участниками проекта) | Интернет-приложение, применяющееся для дистанционного управления зданиями и сооружениями. (Извините, почти все интерфейсы на финском). Пример отчёта: 1. |
| Проект InfraPass (совместно сo Стефаном Нюманом, веб-интерфейс мой полностью) | Интернет-приложение для дистанционного управления доступом в здания и сооружения, оснащённые электронными замками. (Для гостей логин:"PowerUser", пароль: "PowerUser") |
| Hадежная программная инженерия. |
| Интернет-приложения и Интернет-культура. Дистанционное обучение в Интернете. |
| программные среды - MS Windows (XP, 2000, NT) |
| среды разработки и технологии - MS .NET (.Net Framework SDK, ASP.NET Web Matrix, VISUAL STUDIO .NET Architect), MS ASP, Borland Delphi Enterprise |
| языки - C#, Object Pascal, SQL, HTML, JavaScript, Java, CSS, VRML, Ada, Modula-2, C++, Prolog и т.д.. |
| прикладные пакеты - Microsoft Office 7.0 |
| Интернет - 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, Russian font installation tools; серверы, навигаторы, средства создания Интернет-сайтов, русификация и т.д.) |