Валерий Александрович Непомнящий был подлинным ученым, основателем собственной научной школы в области верификации программ. В руководимой им лаборатории теоретического программирования подготовлено самое значительное в ИСИ СО РАН количество высококлассных специалистов, которые считают его своим учителем. Многие годы В.А. Непомнящий преподавал в Новосибирском государственном университете на кафедре программирования, стоял у истоков этого направления.

Валерий Александрович Непомнящий родился в г. Волгограде в 1939 г. Во время Великой Отечественной Войны семья была эвакуирована в г. Новосибирск, а по окончании войны переехала в г. Черновцы в Западной Украине. В 1958 году Валерий Александрович поступил в Черновицкий государственный университет на физико-математический факультет, который окончил с отличием в 1963 году по специальности «вычислительная математика». По окончании учебы, по распределению, был направлен в г. Краматорск Донецкой области на Новокраматорский машиностроительный завод, одновременно получив рекомендацию в аспирантуру. Проработав некоторое время на заводе в должности инженера-конструктора, поступил в аспирантуру Новосибирского государственного университета по специальности «математическая кибернетика».

По окончании аспирантуры в 1966 году был принят инженером в Отдел программирования ВЦ СО АН СССР. В июне 1967 г. В.А. Непомнящий защитил диссертацию из области теории алгоритмов на соискание ученой степени кандидата физико-математических наук по теме «Исследование базисов и достаточных классов рекурсивных функций» под руководством выдающегося математика- теоретика д.ф.-м.н. Б.А. Трахтенброта. После защиты диссертации избран на должность младшего научного сотрудника.

В.А. Непомнящим была проделана большая работа по приобщению к новой для него тематике теоретического программирования. Он стал одним из ведущих специалистов в этой области. В июне 1971 года он был избран по конкурсу на должность старшего научного сотрудника, а в 1981 году ему было присвоено ученое звание старшего научного сотрудника. В эти годы В.А. Непомнящий, наряду с теоретическими исследованиями, вёл работу в важном направлении современного программирования – проблемно-ориентированной верификации программ.

С 1990 года В.А. Непомнящий работал ведущим научным сотрудником ИСИ СО РАН, а в 1992 году был назначен на должность заведующего лабораторией теоретического программирования. Он руководил проектом СПЕКТР, в рамках которого разработаны эффективные средства спецификации и верификации программ из нескольких проблемных областей. Высокий уровень его работ подтвержден премией за второе место в конкурсе работ СО АН СССР в 1989 году. Он являлся членом Европейской Ассоциации по теоретической информатике.

В 2002–2003 г.г. руководил тремя проектами РФФИ, а также проектом «Верификация С# программ: методы и средства», ставшим победителем в конкурсе Microsoft Research. С 2007 по 2009 г.г. был руководителем бюджетной темы 4.6.2.3. «Исследование моделей и методов теоретического программирования для спецификации, анализа и верификации программных систем». Под его руководством была разработана система SPV моделирования, анализа и верификации коммуникационных протоколов.

Валерий Александрович был членом программных комитетов двух международных конференций памяти академика А.П. Ершова PSI'03 и PSI'06, а также Всероссийской молодежной конференции SYRCoSE'08 по программной инженерии.

Работы В.А. Непомнящего внесли значительный вклад в развитие важного направления современного программирования – спецификации, анализа и верификации программ и систем. В 2007 году Валерий Александрович был награжден грамотой Министерства образования и науки РФ. Им опубликовано более 150 научных работ. Под его руководством защищено 10 кандидатских диссертаций. Результаты, полученные под руководством В.А. Непомнящего, ежегодно включались в список основных результатов ИСИ СО РАН, что свидетельствует о его высоком профессионализме. Важной составляющей работы ученого по подготовке научной смены стал семинар теоретического и экспериментального программирования, который ныне носит его имя и продолжается инициативой его учеников в ИСИ СО РАН и НГУ.

Мы будем помнить Валерия Александровича, как подлинного ученого и требовательного руководителя.