Анкетные данные
Дата рождения: 21 февраля 1933 г.
Место рождения: с. Кинель-Черкассы, Кинель-Черкасского района Самарской области.
Умер 15 декабря 2001 г. в г. Новосибирске.
Образование:
Высшее:
1950-1955
Томский государственный университет, Россия.
Профессиональная деятельность
1955-1958
инженер в/ч 01168, гор. Москва.
1955-1964
м.н.с., зав. группой, зав. лабораторией Института
математики с вычислительным центром СО АН СССР.
(Новосибирск).
1964-1990
заведующий лабораторией системного программирования
Вычислительного центра СО АН СССР (Новосибирск).
1990-2001
зав. лабораторией системного программирования Института
систем информатики им. А.П. Ершова СО РАН (Новосибирск).
1991-1992
зам. директора ИСИ им. А.П. Ершова СО РАН (Новосибирск).
1992-1998
директор ИСИ им. А.П. Ершова СО РАН (Новосибирск).
1998-2001
г.н.с. ИСИ им. А.П. Ершова СО РАН (Новосибирск).
1968-2001
ассистент, доцент, профессор, зав. кафедрой программирования
механико-математического факультета Новосибирского университета.
Дипломы, степени и звания
1955
диплом ТГУ по специальности "баллистика".
1968
кандидат физ.-мат. наук по специальности "математическая
логика и программирование".
1972
звание старшего научного сотрудника.
1973
звание доцента.
1990
доктор физ.-мат. наук по специальности "математическое
обеспечение ЭВМ, вычислительных комплексов и сетей".
1993
звание профессора.
1999
звание "Заслуженный деятель науки Российской Федерации".
Членство в комитетах, редколлегиях, советах
Участие в работе программных комитетов
- Третья международная конференция "Перспективы систем информатики", Новосибирск, июль 1999г.
- Международная конференция по параллельным вычислительным технологиям (РАСТ-99), Санкт-Петербург, сентябрь 1999г.
- Объединенная международная конференция по модульным языкам (JCML-2000), Цюрих, сентябрь 2000г.
- Международная конференция по теории и практике программного обеспечения Всемирного конгресса IFIP, август 2000г.
Членство в редколлегиях
- Журнал РАН "Программирование" (зам. гл. редактора).
- Серийный сборник СО РАН "Системная информатика" (гл. редактор).
Члентсво в ученых советах
- Ученый совет ИСИ СО РАН.
- Ученый совет мехмата НГУ.
- Ученый совет НГУ.
- Ученый совет ВКИ НГУ.
- Кандидатский совет по защитам при ИСИ СО РАН (председатель).
Членство в национальных и международных научных организациях
- Институт инженеров по электронике и электротехнике (IEEE).
- Европейская ассоциация по теоретической информатике (EATCS).
- Международная академия информатизации (действительный член).
Отличия и награды:
Лауреат премии Совета министров СССР, орден "Знак Почета", 3 медали.
Научная деятельность
И.В. Поттосин являлся одним из ведущих российских ученых в
области системного программирования, внесших крупный вклад в
становление и развитие этого направления в России. Основной областью
его научных исследований были инструментальные системы поддержки
информационных технологий и разработка экспериментальных программных
средств и прототипов такой поддержки.
И.В. Поттосиным был разработан структурный подход к построению
сложных инструментальных систем, при котором такая система
представляется в виде иерархии функциональных слоев, что способствует
повышению ее надежности и эффективности. Этот подход был затем
реализован в первой советской развитой системе разделения времени
АИСТ-0, системе поддержки пакетов
программ СОФИСТ и универсальной
системе аналитических выкладок АУМ.
И.В. Поттосин внес определяющий вклад в разработку методики
оптимизирующей трансляции, создал основные принципы реализации и
типовые схемы оптимизирующих трансляторов и процессоров, построил
математические модели и методы обоснования алгоритмов оптимизирующих
преобразований, разработал эффективные алгоритмы основных оптимизаций.
Под его руководством был создан один из первых в мировой практике язык системного
программирования Эпсилон. Эти научные результаты нашли свое воплощение
в таких системах, как оптимизирующий транслятор АЛЬФА,
система программирования АЛЬФА-6, система программирования
для символьной обработки ЭПСИЛОН,
многоязыковая траслирующая система БЕТА.
В последние годы И.В. Поттосин возглавлял проект СОКРАТ
по разработке инструментальной системы поддержки программирования встроенных систем,
обеспечивающей надежность и эффективность программ. Продолжением этих работ являлись
исследования в области анализа программ и методологии программирования.
И.В. Поттосин предложил принципы построения окружений
программирования, сочетающих как широкий набор инструментов
конструирования программ с участием глубоких семантических
преобразований и с поддержкой структурной разработки, так и
естественного представления и хранения объектов разработки, единых для
всех этапов разработки, разработал новые подходы к поддержке стиля
надежного программирования, к оценке добротности программ. Эти
принципы решают проблемы интеграции разнообразных инструментов в
развитых окружениях программирования, автоматизированного
преобразования программ для достижения нужного качества,
дисциплинированного программирования, повышающего надежность
создаваемого ПО. Подобные окружения необходимы при создании
программных систем с повышенными требованиями на их эффективность и
надежность. Указанные принципы были реализованы в создаваемом под его
руководством экспериментальном окружении программирования для
встроенных ЭВМ.
И.В. Поттосин был активно связан с работами по учебной информатике,
он содействовал становлению
Высшего колледжа информатики - среднего специального заведения при
Новосибирском университете и участвовал в совершенствовании
преподавания информатики в этом колледже.
Результаты его исследований опубликованы в 120 печатных работах,
в том числе в 5 монографиях (написанных в соавторстве), одна из
которых переведена и издана в Англии.
Деятельность по подготовке кадров:
И.В. Поттосин являлся зав. кафедрой программирования механико-математического
факультета Новосибирского университета, которую он вместе с академиком
А.П. Ершовым создавал и много сделал для ее становления.
И.В. Поттосин активно участвовал в
подготовке специалистов высшей квалификации по информатике.
Его работы используются в преподавании, среди его учеников один доктор наук,
под его руководством защищено 11 кандидатских диссертаций,
он лично руководил дипломными работами многих десятков выпускников.
Прочитанные курсы лекций:
Основные
- Программирование (мехмат НГУ).
Спецкурсы
- Методы трансляции (мехмат НГУ),
а также курсы и циклы лекций
- Программное обеспечение
- Разработка программного обеспечения
- Оптимизация программ
- Языки и компиляция
в ряде советских и зарубежных университетов.
Научно-организационная деятельность:
И.В. Поттосин был зам. председателя комиссии по системному
математическому обеспечению ОИВТА АН СССР, председателем советских
рабочих групп по языкам и системам программирования и стандартизации
языка Модула-2, председателем российской локальной секции группы ACM
по языкам программирования, членом советской части комитета
ISO (Международной организации стандартов) по стандартизации языков
программирования, главным редактором регулярного сборника СО РАН
"Системная информатика", зам. гл. редактора журнала
"Программирование", членом ряда ученых советов и советов по защитам,
многократно был членом программных комитетов всесоюзных и
международных конференций.
