Премии и награды
IEEE Emanuel Piore Award (1983)
ACM Turing Award (Премия Тьюринга) (1984)
ACM Award for Outstanding Contributions to Computer Science Education (1987,
1989)
IEEE Computer Pioneer (1988)
Prix Max Petitpierre (1989)
IBM Europe Science and Technology Prize (1989)
Marcel Benoit Prize (1990)
Orden Pour le Merite (1996)
Leonardo da Vinci Medal (1999)
ACM Outstanding Research Award in Software Engineering (1999).
Достижения
Вирт разработал или участвовал в разработке языков программирования: Euler,
Algol-W, PL/360, Pascal, Modula, Modula-2, Oberon, Oberon-2, Component Pascal.
Наиболее известная его разработка, безусловно — язык программирования Паскаль,
оказавший огромное влияние на несколько поколений программистов и ставший базой
для создания большого числа языков программирования. Ещё одна фундаментальная
работа, участником которой стал Вирт — разработка технологии структурного
программирования, ставшая в программировании, безусловно, самой сильной
формализацией как минимум 1970-х — 1980-х годов. Эта технология разработана,
обоснована и внедрена в жизнь всего тремя выдающимися людьми — Виртом, Дейкстрой
и Хоаром.
Комментаторы не раз отмечали, что идеи Вирта зачастую опережали развитие
компьютерной индустрии на годы, иногда — на десятилетия. Разработанная в начале
1970-х система Pascal-P, предполагающая компиляцию программ на Паскале в
универсальный «пи-код» и реализацию на любой платформе интерпретатора пи-кода
(одна из известных её реализаций — UCSD-Pascal Университета Сан-Диего), которая
позволяла с минимальными затратами переносить Паскаль-системы на новые
аппаратные платформы, более чем на два десятилетия опередила идеи интерпретатора
промежуточного кода, реализованные в системах, поддерживающих исполнение
программ на языке Java и в платформе .NET. Идея совмещения системы
программирования со сборщиком мусора, освобождающим программиста от
необходимости отслеживать время жизни объектов, динамически размещённых в
памяти, была реализована в 1988 году в языке и операционной системе Оберон. Обе
эти идеи были использованы разработчиками Java и .NET во второй половине 1990-х
годов.