Анкетные данные

Дата рождения: 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 (Международной организации стандартов) по стандартизации языков программирования, главным редактором регулярного сборника СО РАН "Системная информатика", зам. гл. редактора журнала "Программирование", членом ряда ученых советов и советов по защитам, многократно был членом программных комитетов всесоюзных и международных конференций.

Список научных трудов:

1. Поттосин И.В., Криницкий Н.А,. Бухтияров Н.А., Фролов Г.Д., Войтишек Л.В., Левина А.А.. Программирующая программа ПП-С // Сб. Научных трудов. — Министерство Обороны СССР, 1958.— № 1.
2. Поттосин И.В. .Решение некоторых дифферинциальных уравнений и их систем методом исключения параметров // Сб. Научных трудов. — Министерство Обороны СССР, 1958.— № 1.
3. Поттосин И.В., Кожухин Г.И., Нагорный Н.М. Принцип организации и использования библиотеки программ // Сб. Вычислительная математика. — Изд-во АН СССР, 1961.
4.  Поттосин И.В. Программа линейной и квадратичной интерполяции для таблиц с неравным шагом.— РИО СО АН СССР, 1964.
5. Поттосин И.В. Стандартные программы решения систем линейных алгебраических уравнений методом Гаусса по системе главных элементов. — РИО СО АН СССР, 1964.
6. Поттосин И.В. Стандартная программа нахождения верхнего предела действительных корней полинома. — РИО СО АН СССР, 1964.
7. Поттосин И.В. Стандартные программы проверки критерия Раусса для полинома. — РИО СО АН СССР, 1964
8. Поттосин И.В. Стандартная программа умножения прямоугольных матриц. — РИО СО АН СССР, 1964.
9. Поттосин И.В. Программа перенумерации // Ротапринтное издание РИО СО АН СССР.: Обслуживающие программы. — М.: Изд-во ВЦ СО АН СССР, 1967.
10. Поттосин И.В. и др. Система автоматизации программирования АЛЬФА // Вычислительная математика и математическая физика. — АН СССР, 1965. — №2.
11. Ershov A.P., Pottosin I.V., Kojuhin G.I., Makarov G.P., Nechepurenko М.I. An Experimental automatic informational station AIST-0 // AFIPS Conference Proceedings. — Thompson books: Academic Press, 1967. – V. 30.
12. Поттосин И.В., Кожухин Г,И., Нечепуренко М.И. Принципы построения диспетчера системы. — 1967. — ( Препринт / СО АН СССР. ВЦ. АИСТ-8).
13. Поттосин И.В., Ершов А.П., Кожухин Г.И. Обзор особенностей АЛЬФА-языка // Сб.: АЛЬФА-система автоматизации программирования. — Наука, 1967.
14. Поттосин И.В., Бежанова М.М. Программирование циклов и индексных выражений в АЛЬФА-трансляторе // Сб.: АЛЬФА-Система автоматизации программирования. — Наука, 1967.
15. Поттосин И.В. Экономия выражений в АЛЬФА-трансляторе. // Сб.: АЛЬФА-система автоматизации программирования. — Наука, 1967.
16. Поттосин И.В. Стандартные программы вычисления корней полинома 3-й степени с коэффициентами и процедура КУБА // Стандартные программы и процедуры. — Новосибирск : Изд-во ВЦ СО АН, 1968.
17. Поттосин И.В.. Процедуры решения систем алгебраических уравнений, алгоритма Раусса и интерполяции // Стандартные программы и процедуры. — Новосибирск: Изд-во ВЦ СО АН, 1968.
18. Поттосин И.В.. К задаче чистки циклов // Сб.: «Цифровые вычислительные машины и программирование». — Москва: Советское радио, 1968.— № 4.
19. Поттосин И.В.. Операционные системы// Труды 1-ой Всесоюзной Конференции по программированию. — Киев, 1968.
20. Поттосин И.В., Рар А.Ф., Катков В.Л. ЭПСИЛОН – система автоматизации программирования для задач символьной обработки // Труды 1-ой Всесоюзной Конференции по программированию. — Киев, 1968.
21. Поттосин И.В.. Структура диспетчера АИСТ-0. — Новосибирск, 1968. — (Препринт / СО АН  СССР , ВЦ. АИСТ /64).
22. Поттосин И.В. и др. Псевдокоманды и директивы системы АИСТ-0. — Новосибирск, 1968. — (Препринт / СО АН СССР, ВЦ . АИСТ /64).
23. Поттосин И.В., Ершов А.П., Кожухин Г.И. Руководство к пользованию системой АЛЬФА. — Новосибирск: Сибир. Отд, Наука, 1968
24.  Поттосин И.В. и др. Экспериментальная система коллективного пользования АИСТ-0 // Труды 2-й Всесоюзной конференции по программированию. — Новосибирск, 1970.
25.  Поттосин И.В. и др. Диспетчер системы АИСТ-0 // Труды 2-й Всесоюзной конференции по программированию. — Новосибирск, 1970.
26. Поттосин И.В.. Программа для решения систем линейных алгебраических уравнений методом Гаусса по схеме главных элементов (СП-0206) // Программы решения задач линейной алгебры. — Изд-во ИПМ АН СССР, 1972.
27. Поттосин И.В., Бежанова М.М., Катков В.Л. Работа по аналитическим преобразованиям в ВЦ СО АН СССР // Вычислительная математика и выч. техника. — Харьков: Изд-во ФТИНТ АН УССР, 1972 — вып. 3.
28.  Поттосин И.В., Котов В.Е., Филинов Е.Н. Первый советско-фр. симпозиум по операционным системам // Системное и теоретическое программирование. — Новосибирск: Изд-во ВЦ СО АН СССР, 1972.
29. Поттосин И.В. и др. ЭПСИЛОН – система автоматизации программирования задач символьной обработки. — Новосибирск: СО АН СССР: Наука, 1972.
30. Поттосин И.В. Операционные системы коллективного пользования // Системное и теоретическое программирование. — Новосибирск: Изд-во ВЦ СО АН СССР, 1972.
31. Поттосин И.В. О линеаризации программы и частичном ее упорядочивании // Системное и теоретическое программирование. — Новосибирск: Изд-во ВЦ СО АН СССР, 1972.
32. Поттосин И.В. и др. Система автоматизации программирования АЛЬФА-6 // Системное программирование. — Новосибирск: Изд-во ВЦ СО АН СССР, 1973.
33. Поттосин И.В.. Оптимизирующие преобразования и их последовательность // Системное программирование. — Новосибирск: Изд-во ВЦ СО АН СССР, 1973.
34. Pottosin I.V., Rar A.F. Application of the machine-oriented language EPSILON to the software development // Machine-oriented Higher-Level Langugers. — Horth-Holland Publishing Company, 1974.
35. Поттосин И.В.. Структура операционных систем коллективного пользования // Некоторые проблемы вычислительной и прикладной математики. — Новосибирск: Наука, 1975.
36. Поттосин И.В., Грушецкий В.В., Ершов А.П., Покровский С.В. Методы декомпозиции синтеза и оптимизации в многоязыковой системе программирования // Elektronishe Informationsverarbeitung und Kybernetik. — 1975. — № 4-6.
37. Поттосин И.В.. Глобальная оптимизация: практический подход // Труды Всесоюзного симпозиума по методам реализации новых языков. — Новосибирск, 1975.
38. Поттосин И.В. и др. Теоретическое программирование в СССР // Системное и теоретическое программирование. — Новосибирск: Изд-во ВЦ СО АН СССР, 1972.
39. Поттосин И.В. и др. Исследования в области теоретического и системного программирования и их применение в автоматизации программирования и разработке математического обеспечения // Фундаментальные исследования. Физико-математические и технические науки (СО АН СССР 20 лет). — Новосибирск, СО АН СССР: Наука. — 1977.
40. Поттосин И.В., Калинина Н.А. Архитектура универсальных систем аналитических преобразований: приспособляемость к классу задач и связь с системами программирования // Теория и практика системного программирования. — Новосибирск: ВЦ СО АН СССР, 1977.
41. Pottosin I.V.. Sitemprogrammiers-prachen // Beitrage zur Informations verarbeitung BSB. — Leipzig: B.G.Teubner Verlagegesellschaft, 1977.
42. Поттосин И.В.. О роли и методах оптимизации программ // Перспективы развития в системном и теор.программировании. — Новосибирк: ВЦ СО АН СССР, 1978.
43. Pottosin I.V., Kasyanov V.N. Application of Optimization Techniques to Correctness Problems// Constructing Quality Software. — North Holland Publ. Co., 1978
44. Поттосин И.В., Касьянов В.Н. Приложение методов оптимизации к проблемам правильности // Сб.: Создание качественного программного обеспечения. — ВЦ СО АН СССР, 1978. — Т. 1.
45. Поттосин И.В., Касьянов В.Н. Методы трансляции. — Изд-во Новосибирского Университета. — 1978.
46. Поттосин И.В., Касьянов В.Н.. Технология трансляции. — Изд-во Новосибирского Университета. — 1978.
47. И. В. Поттосин, Касьянов В.Н. Технологические возможности оптимизации программ // Тезисы докладов 1-ой Всесоюзной конференции по технологии программирования (секция К). — Киев: ИК АН УССР, 1979.
48. Поттосин И.В. Оптимизирующие преобразования линейных участков // Тезисы докладов 1-ой Всесоюзной конференции по технологии программирования (секция К). — Киев: ИК АН УССР, 1979.
49. Поттосин И.В. К обоснованию алгоритмов оптимизации программ // Программирование.—1979. — №2.
50. Поттосин И.В. О контекстных условиях корректности преобразований объединения и расчленения циклов // Сб. Языки и системы программирования. ВЦ СО АН СССР. — 1979.
51. Поттосин И.В. Языки реализации для системного программирования // Труды: Национальная школа программирования-79. — София: Изд-во ИЦММ, 1979.
52.  Поттосин И.В. Языки реализации для системного программирования. — Новосибирск,1979. —24 с. — (Препринт / СО АН  СССР, ВЦ; 179).
53. Поттосин И.В., Касьянов В.Н. Технологические возможности оптимизации программ// Программирование. — 1980.— № 2.
54. Поттосин И.В., Югринова О.В. Обоснование преобразования чистки циклов // Программирование. — 1980. — № 5.
55. Поттосин И.В., Калинина Н.А. Проблематика разработки систем аналитических преобразований на ЭВМ // Труды рабочего совещания по системам и методам аналитических выражений на ЭВМ и их применению в теоретической физике. — Дубна: Изд-во ОИЯИ, 1980.
56. Поттосин И.В. Направленные преобразования линейного участка // Сб.: Языки и системы программирования. — Новосибирск: ВЦ СО АН СССР, 1981.
57. Поттосин И.В. О математических моделях программ, ориентированных на оптимизацию программ // Proc. YII Nat.School :Mathematical methods in informatics. — Varna, 1981. — 24 стр.
58. Поттосин И.В., Касьянов В.Н., Дзелинский А.М. Об автоматическом конструировании качественных программ, основанном на преобразовании // Тезисы докладов Всесоюзной конференции : Программное обеспечение выч. сетей и систем реальн.времени. — Киев, 1981.— 2 стр.
59. Поттосин И.В., Касьянов В.Н. Системы конкретизации: подход и основные понятия.  — Новосибирск,1982. — 22с. — (Препринт / АН СССР, Сиб.отд-ие; 349 ).
60. Поттосин И.В., Касьянов В.Н., Ершов А.П., Покровский С.Б., Степанов Г.Г. Методика разработки многоязыковых трансляторов на примере системы БЕТА // Сб. Математическая теория и практика системного обеспечения. — Новосибирск: ВЦ СО АН СССР, 1982.— 17 стр.
61. Поттосин И.В., Барнев Л., Эфрос Л.Б. Проблемы автоматизации программирования в условиях коллективного использования вычислительных средств // Сб.: Математическая теория и практика системного обеспечения. — Новосибирск: ВЦ СО АН СССР, 1982.
62. Поттосин И.В., Касьянов В.Н. Автоматизация построения трансляторов. — Изд-во НГУ, 1983. — 96 стр.
63. Поттосин И.В., Калинина Н.А., Семенов А.Л. Универсальная система проведения аналитических вычислений АУМ // Сб. Аналитические вычисления на ЭВМ и их применение в теоретической физике. — Дубна: ОИЯИ, 1983. —12 стр.
64. Поттосин И.В.. Раздельная оптимизация модулей: к постановке задачи // Сб.: Автоматизация производства пакетов прикладных программ и трансляторов. (тезисы докладов 2-й всесоюзной конференции). — Таллин,1983. — 3 стр.
65. Поттосин И.В., Касьянов В.Н.. Архитектура систем конкретизации. — Новосибирск,1983.— ( Препр. / АН  СССР, Сибир.отд-ие, ВЦ, 455).
66. Поттосин И.В. Возможности оптимизации программ и перспективы ее развития // Сб.: Актуальные проблемы развития архитектуры и программного обеспечения ЭВМ и вычислительных комплексов. — Новосибирск: ВЦ СО АН СССР, 1983. — 17 стр.
67. Поттосин И.В.. Об оптимизации логических выражений с соотношениями // Трансляция и оптимизация программ. — Новосибирск: ВЦ СО АН СССР, 1983. — 11 стр.
68. Поттосин И.В. Об алгоритме оптимизации линейных участков // Сб.: Трансляция и преобразование программ. — Новосибирск: ВЦ СО АН СССР, 1984. —14 стр.
69. Поттосин И.В., Пененко В.В.,. Светлакова Ф.Г. Принципы построения базового системного обеспечения пакетов прикладных программ // Сб.: Алгоритмы и алгоритмические языки. Пакеты прикладных программ. Системное наполнение. — Москва: Наука,1984. — 17 стр.
70. Поттосин И.В., Нестерова Г.В., Светлакова Ф.Г. Система СОФИСТ – базовое системное обеспечение пакетов прикладных программ // Сб.: Комплексы программ математической физики. — Новосибирск: ИТПМ СО АН СССР, 1984. —8 стр.
71. Поттосин И.В., В.Н. Агафонов, М.М. Бежанова, В.К. Сабельфельд. Сборник упражнений по программированию на языке Паскаль. — Новосибирск: Изд-во НГУ, 1985. — 79 стр.
72. Поттосин И.В., Бежанова М.М. Математическое обеспечение ЭВМ: операционные средства. — Новосибирск: Изд-во НГУ, 1986. — 92 стр.
73. Поттосин И.В., Касьянов В.Н.. Методы построения трансляторов. — Новосибирск, СО: Наука, 1986. — 344 стр.
74. Поттосин И.В. Об организации научной работы студентов по программированию в Новосибирском университете // Труды III семинара Проблемы информатики и ее применения в управлении, обучении и научных исследованиях. — София, 1986. — 11 стр.
75. Поттосин И.В., Бежанова М.М. Средства разработки прикладного программного обеспечения с точки зрения современных требований и возможностей // Алгоритмы и алгоритмические языки. ППП. Програмное обеспечение вычислительного эксперимента. — Москва: Наука,1987.— 18 стр.
76. Поттосин И.В. Программный базис для инструментов конструирования программ // Труды 2-й Междун. науч.-тех. конф. ИНТЕРСОФТ -87. — Калинин, 1987. — 3 стр.
77. Поттосин И.В. О конструировании программ в рабочем месте программиста // Информатика. Технологические аспекты.— Новосибирск: ВЦ СО АН СССР, 1987. —11 с.
78. Поттосин И.В., Бежанова М.М. Математическое обеспечение ЭВМ: языковые и технологические средства. — Новосибирск: Изд-во НГУ, 1987. — 92 стр.
79. Поттосин И.В., Томе О.Б. Учет межмодульных связей при оптимизации программ на языках типа Ада и Модула -2 // Сб.: Методы трансляции и конструирования программ. (тезисы доклада). ч. 2. — Новосибирск: ВЦ СО АН СССР, 1988. — 3 стр.
80. Поттосин И.В. Языки и системы программирования как средства разрабатывания программ // Сб.: Информатика и программирование. — Новосибирск: ВЦ СО АН СССР, 1989. — 18с.
81. Pottosin I.V.. On Program Construction in a Programmers Working Site. // Act. Seminare Francosoviet  INFORMATIKA 88: Methods of compilation and Program Construction. — INRIA, 1989. — 6 рр.
82. Pottosin I.V., Коtоv V.Е. Andrei P. Ershov 1931-1988.// Theoretical Computer Science. — 1989. — V. 67,№ 1. — 3 с.
83. Поттосин И.В. Творческое наследие А.П. Ершова (обзор работ) // Программирование. — Москва,1990. —№ 1. — 24 стр.
84. Поттосин И.В. Об объектно-ориентированном подходе к конструированию программ // Труды Всесоюзной конференции: Актуальные проблемы системного программирования. — Таллин, 1990. — 4 стр.
85. Поттосин И.В. Конструирование программ в рабочем месте программиста: видщы конструирования и инструментальный базис // Труды YII Семинара: Проблемы информатики и ее применения в управлении, обучении и научных исследованиях.— София, 1990. — 16 стр.
86. Pottosin I.V. Program optimization: State of the Art and Future Development // INFORMATICS 89 / Proceed. Soviet.-Franch. Symp. — Tallin, 1990. — V.2. — 10pp.
87. Поттосин И.В. Конструирование прикладных программ и программных систем: от алгоритмов к программам // Сб.тр.: Совр. проблемы алгоритмизации, Ташкент, 1991. — Ташкент,1991. — 2 стр.
88. Pottosin I.V. Andrej Petrovich Ershov // Images of programming. — Amsterdam : North-Holland, 1991.— 21 pp.
89. Pottosin I.V. Selected biography of Ershov papers // Images of programming. — Amsterdam: North-Holland, 1991.-11pp.
90. Pottosin I.V. Analysis of program optimization possibilities and further development // Teoretical Computer Science. — 1990. — V.90, № 1. — 20 рр.
91. Поттосин И.В. Анализ возможностей и путей развития оптимизации программ // Программирование. — Москва, 1991. — №6 – 17 стр.
92. Поттосин И.В.. Система Сократ: окружение программирования для встроенных ЭВМ —Новосибирск,1992. — 18с. —( Препринт / СО РАН, Институт Систем Информатики;11 ).
93.  Поттосин И.В. Послесловие к русскому изданию: М. Эллис, Б. Сроуструп. Справочное руководство по программированию на языке С++ с комментариями. — М.: Мир, 1992.
94. Поттосин И.В., Болтаев Т.Б., Кузьминов Т.В. О структурном конструировании и инструментах его поддержки // Сб.: Среда программирования: методы и инструменты. — Новосибирск: ИСИ СО РАН, 1993. — 17 стр.
95. Поттосин И.В., Бежанова М.М. Математическое обеспечение ЭВМ: cредства и инструменты — Новосибирск: НГУ,1993. — 86 стр.
96. Pottosin I.V., Aniskov M.I., Boltayev T.B., Kochetov D.V. et al. The Structured Constructing as a Discipline of Safe Programming and Instruments Supporting IT // CSAM ‘93: Abstracts/ Intern.Congress on Computer Systems and Applied Mathematics. — St.Peterburg, 1993.
97. Pottosin I.V., Kuzminov T.V., Pokrovsky S.B. et al. SOKRAT:An Environment for Safe and Efficient Programming // CSAM'93: Abstracts /Intern.Congress on Computer Systems and Applied Mathe matics. — St.Petersburg, 1993. — 2 pp.
98. Поттосин И.В.. Андрей Петрович Ершов: жизнь и творчество // Избранные труды/ А.П. Ершов. – Новосибирск, 1994. — 24 стр.
99. Поттосин И.В., Иванников В.П. Этические проблемы программирования // Программирование. — 1993. — N 3. — 2 стр.
100. Поттосин И.В., Непомнящий В.А. Конференция "Формальные методы в програм- мировании и их применение" // Программирование. — 1993. — N 6. — 3 стр.
101. Pottosin I.V.. Langages et Compilateurs // Rapport sur l'etat de la recherche du developpement et de l'industrialisation du logiciel en Russie. Fevrier. — INRIA, Rocquencourt, 1994. — 18 pp.
102. Поттосин И.В. и др. Введение в компьютерные науки. — Новосибирск: НГУ, 1994. — 116 стр.
103. Поттосин И.В., Бежанова М.М. Математическое обеспечение ЭВМ: окружения и интерфейсы. — Новосибирск: НГУ, 1994. — 76 стр.
104. Поттосин И.В., Анисков М.И., Болтаев Т.Б., Кочетов Д.В., Кузьминов Т.В. Структурное конструирование как дисциплина надежного конструирования и инструменты его поддержки // Сб.: Средства и инструменты окружения программирования. — Новосибирск: ИСИ СО РАН, 1995. — 7 стр.
105. Поттосин И.В.. Текущее состояние российских исследований и разработок в области трансляции. — Новосибирск, 1995. — 31 с. — (  Препринт/ РАН.Сибир.отд-ие.ИСИ СОРАН; 30. ).
106. Поттосин И.В. Программные системы учебной информатики и работы Г.А.Звенигородского // Сб.: Программные системы. — Новосибирск: ИСИ СО РАН, 1995.
107. Поттосин И.В., Бежанова М.М. Математическое обеспечение ЭВМ: инструментарий и обучающие средства — Новосибирск: НГУ, 1996. — 80 стр.
108. Поттосин И.В. О критериях добротности программ. — Новосибирск, 1996. —35 с. —(Препринт /ИСИ СО РАН; 35. ).
109. Поттосин И.В.. О возможности точного определения, что такое "хорошая" программа // Сб.:Математические модели и численные методы механики сплошной среды. — Новосибирск, 1996. — 3 стр.
110. Поттосин И.В. и др. СОКРАТ: окружение надежного и эффективного программирования // Сб.: Актуальные проблемы информатики, прикладной математики и механики. Ч. III: Информатика. — Красноярск: Изд-во СО РАН, 1996 — 14 стр.
111. Поттосин И.В.. "Хорошая программа": попытка точного определения понятия // Программирование. — 1997. — №2. — 15 стр.
112. Поттосин И.В.. Программистская инженерия: содержание,мнения и тенденции (по итогам 18-й конф. по Software Engineering // Программирование. — 1997. — N 4. — 12 стр.
113. Поттосин И.В.. О критериях добротности программ // Системная информатика. — Новосибирск: Наука, 1997 — N 6. — 34 стр.
114. Поттосин И.В., Любимский Э.З., Шура-Бура М.Р. От программирующих программ к системам программирования (российский опыт) // Computers in Europe: Past, Present and Future / Proc. of Int.Workshop. — Киев, 1998. — 7стр.
115. Поттосин И.В. А.П. Ершов и становление новосибирской школы программирования // Computers in Europe: Past, Present and Future / Proc. of Int.Workshop. — Киев, 1998. — 8стр.
116. Поттосин И.В., Катков С.И. Система параллельного программирования, основанная на языке СуперПаскаль // Труды 6-го Международного семинара: Распределенная обработка информации. — Новосибирск: Изд. СО РАН, 1998. — 5 стр.
117. Поттосин И.В.. Об организованности потока данных в программах // Труды 3-го Сибирс- кого конгресса по индустриальной и прикладной математике (ИНПРИМ-98). — Новосибирск, ИМ СО РАН, 1998.
118. Поттосин И.В.. Добротность программ и информационных потоков // Открытые системы. —1998. — N 6. — 10 стр.
119. Поттосин И.В., Калинина Н.А., Городняя Л.В. Информационная среда изучения исследования информатики и программирования // Труды Международной научно-практической конференции: Новые информационные технологии в университетском образовании. — Новосибирск, 1999. — 2 стр.
120. Поттосин И.В. Андрей Петрович Ершов: жизнь и творчество // Наука, академгородок, Университет. — Новосибирск: Изд-во НГУ, 1999.— 6 стр.
121. Поттосин И.В., Бежанова М.М. Cовременные понятия и методы программирования // Научный мир. — Москва, 2000.— 12 стр.