ФИО писателя: Виталий Адольфович Каймин.

Годы жизни: 1946

Жанр: информатика

Страна: Россия

Рейтинг:

Просмотров: 4013

Биография:

* Учился в МИЭМ с 1964 по 1969 г. В период учебы был директором ФизМатшколы МИЭМ и организатором олимпиад по математике. Окончил МИЭМ в 1969 г. по специальности «Вычислительная Техника» Работал инженером в ОКБ Вымпел. Занимался разработкой ПО автоматизации проектирования логических схем на БЭСМ-6. В 1972 г. окончил в 1972 г. вечерний ФПМ МИЭМ специальность «Прикладная Математика». * Учился в МИЭМ в аспирантуре с 1974 по 1977 гг. по специальности «Теория Информации и Техническая Кибернетика». Разрабатывал ПО для космических тренажеров на базе ПЭВМ. Золотая медаль ВДНХ 1977 г. Кандидат технических наук после успешной защиты диссертации в МИЭМ в 1977 г. Работа в ОКБ Вымпел С 1969 по 1972гг. работа в ОКБ Вымпел в качестве инженера-программиста - разработка математического и программного обеспечения Системы Автоматического Проектирования цифровых устройств для Советской Системы ПРО на базе БЭСМ-6 с ОС ДисПак. Параллельно обучение в МИЭМ на вечернем факе Прикладной Математики, который успешно завершил защитой дипломного проекта по математических основам моделирования и проектирования цифровых устройств Систем Противоракетной Обороны. Спроектированная Система АвтоПроектирования заработала наБЭСМ-6 со второго пуска на Нашей Супер-ЭВМ. В основе разработки были положены методы структурного проектирования блок-схем по модели бригады ведущего программиста. Работа в МИД СССР * МИД СССР: Дипломатическая Академия 1978-1980гг. Разработка ПО Диалоговых информационных систем для дипломатов. В основе Проекта Диалоговых Информационно-Аналитических систем был заложен язык запросов к ЭВМ с логическими связками - прототип языка запросов к реляционным базам данных. Параллельно в 1978—1980 гг. работа в МИЭМ: Преподавание алгоритмизации и программирования с 1980 по 1988 гг. 1983—1984 гг. Участие, победы и организация в Москве первых студенческих олимпиад по программированию с отладкой программ на ЕС ЭВМ. Параллельно в МИЭМ был поставлен курс "Технология программирования" для студентов старших курсов и первокурсников МИЭМ и начаты исследования в сфере методология программирования. И были проведены первые в МИЭМ студенческие олимпиады по программированию на ЭВМ. --ВАК, проф.,док.комп.наук 06:08, 13 октября 2009 (UTC) Работа и разработки в МИЭМ С 1980 по 1988гг. работа в МИЭМ в качестве старшего преподавателя и доцента. Постановка курса "Основы Алгоритмизации и Программирования" для студентов фака Прикладной Математики на основе методов структурного проектирования программ для ЕС ЭВМ, СМ ЭВМ и персональных компьютеров. Разработка методов и технологии доказательного программирования как основы теории и практики разработки Программного Обеспечения ЭВМ. Разработка новых учебных планов и программ подготовки специалистов "Программное Обеспечение ЭВМ". Создание Студенческих Научно-Производственных Объединений по разработке программ для персональных компьютеров отечественного и импортного производства. Разработка Офисных Пакетов Программ для школьных персональных компьютеров и персональных ЭВМ. Участие в космическом проекте Буран Участие в разработке ПО для проекта космического корабля «Буран» с бортовой ЭВМ на борту. Участие в 1994-96 гг.в разработках и внедрении производственного ПО для проектов ГАП — Гибкого автоматизированного Производства МЭП-МИЭМ для заводов МЭП. В ходе космического проекта "Буран" была разработана технология разработки бортового ПО для отечественных ЭВМ с обеспечением высшего уровня надежности бортового ПО для ЭВМ - Электронных Вычислительных Машин и Автоматизированных систем на базе Отечественных ЭВМ. Основные результаты - предложенная метода проектировния, документирования и испытания программного обеспечения для космических кораблей и ракет была внедрена в НПО Энергия в разработке бортового ПО космического корабля "Буран" с бортовым компьютером на борты - впервые в мире. С 1981 по 1988г. руководил отделением "Программное обеспечение" кафедры Кибернетики МИЭМ и подготовкой специалистов по специальности "Математическое обеспечение ЭВМ". В ходе исследований по методологии программирования разработана технология доказательного программирования, направленная на разработку надежного программного обеспечения с доказательствами правильности разрабатываемых программ для ЭВМ.

Если у вас есть еще сведения про данного автора, то присылайте их нам и мы добавим их в биографию

Книги автора:

Информатика

Информатика

Оцените писателя: 1 2 3 4 5

Для данного писателя нет комментариев.

Добавление комментария: