Введение

Американский учёный-компьютерщик Леонард Адлеман (родился 31 декабря 1945 года) — американский учёный-компьютерщик. Он один из создателей алгоритма шифрования RSA, за который он был удостоен премии Тьюринга в 2002 году. Он также известен как основоположник области вычислений на ДНК.

Биография

Леонард М. Адлеман родился в еврейской семье в Калифорнии. Его семья первоначально иммигрировала в Соединенные Штаты из современной Беларуси, из района Минска. Он также был математическим консультантом фильма "Sneakers". В 1996 году он стал членом Национальной инженерной академии за вклад в теорию вычислений и криптографию. Он также является членом Национальной академии наук. Адлеман также увлекается боксом и спарринговал с Джеймсом Тони.

Открытие

В 1994 году в своей работе «Молекулярные вычисления решений комбинаторных проблем» он описал экспериментальное использование ДНК в качестве вычислительной системы. В ней он решил задачу для графа из семи вершин, являющуюся NP-полной проблемой, подобной задаче коммивояжера. Хотя решение для графа из семи вершин тривиально, эта статья является первым известным примером успешного использования ДНК для вычисления алгоритма. Показано, что ДНК-вычисления обладают потенциалом для решения ряда других крупномасштабных комбинаторных задач поиска. Адлеман широко известен как отец ДНК-вычислений. В 2002 году ему и его исследовательской группе удалось решить «нетривиальную» задачу с помощью ДНК-вычислений. В частности, они решили задачу SAT с 20 переменными, имеющую более 1 миллиона потенциальных решений. Они сделали это способом, аналогичным тому, который Адлеман использовал в своей основополагающей работе 1994 года. Сначала был синтезирован набор ДНК-цепей, логически представляющий пространство решений задачи. Затем этот набор был обработан алгоритмически с использованием биохимических методов для отсеивания «некорректных» цепей, оставляя только те, которые «удовлетворяли» условиям задачи. Анализ нуклеотидной последовательности оставшихся цепей выявил «правильные» решения исходной задачи. Фред Коэн в своей статье 1984 года «Эксперименты с компьютерными вирусами» приписывает Адлеману изобретение термина «компьютерный вирус». По состоянию на 2017 год Адлеман работает над математической теорией Страт. Он является профессором компьютерных наук в Университете Южной Калифорнии.

Награды

За вклад в изобретение криптосистемы RSA Адлеман, совместно с Роном Ривестом и Ади Шамиром, был удостоен премии Парижа Канелакиса в области теории и практики в 1996 году и премии Тьюринга в 2002 году, которую часто называют «Нобелевской премией в области компьютерных наук», а также стал членом ACM в 2021 году.