ФИО писателя: Виталий Адольфович Каймин. Годы жизни: 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г. руководил отделением "Программное обеспечение" кафедры Кибернетики МИЭМ и подготовкой специалистов по специальности "Математическое обеспечение ЭВМ". В ходе исследований по методологии программирования разработана технология доказательного программирования, направленная на разработку надежного программного обеспечения с доказательствами правильности разрабатываемых программ для ЭВМ. |
Если у вас есть еще сведения про данного автора, то присылайте их нам и мы добавим их в биографию
Книги автора:
Для данного писателя нет комментариев.
Добавление комментария:
- Акмеология
- Анатомия
- Аудит
- Банковское дело
- БЖД
- Бизнес
- Биология
- Бухгалтерский учет
- География
- Грамматика
- Делопроизводство
- Демография
- Естествознание
- Журналистика
- Иностранные языки
- Информатика
- История
- Коммуникация
- Конфликтология
- Криминалогия
- Культурология
- Лингвистика
- Литература
- Логика
- Маркетинг
- Медицина
- Менеджмент
- Метрология
- Педагогика
- Политология
- Право
- Промышленность
- Психология
- Реклама
- Религиоведение
- Социология
- Статистика
- Страхование
- Счетоводство
- Туризм
- Физика
- Филология
- Философия
- Финансы
- Химия
- Экология
- Экономика
- Эстетика
- Этика
Лучшие книги
Гражданский процесс: Вопросы и ответы
ЗАПАДНОЕВРОПЕЙСКОЕ ИСКУССТВО от ДЖОТТО до РЕМБРАНДТА
Коммуникации стратегического маркетинга
Консультации по английской грамматике: В помощь учителю иностранного языка.
Международные экономические отношения