レナード・マックス・アドレマン(1945年12月31日生まれ)はアメリカのコンピュータ科学者です。彼はRSA暗号アルゴリズムの開発者の1人であり、その功績により2002年にチューリング賞を受賞しました。[ 1 ]また、 DNAコンピューティングという分野の創始者であり、 「コンピュータウイルス」という用語を造語したことでも知られています。[ 2 ]
レナード・M・アドレマンは、カリフォルニアのユダヤ人[ 3 ] の家庭に生まれた。彼の家族はもともと、現在のベラルーシのミンスク地域からアメリカ合衆国に移住してきた[ 3 ] 。彼はサンフランシスコで育ち、カリフォルニア大学バークレー校に通い、1968年に数学の学士号、 1976年に電気工学・コンピュータ科学の博士号を取得した[ 1 ] [ 4 ]。彼はまた、映画『スニーカーズ』の数学コンサルタントも務めた[ 5 ]。 1996年、彼は計算理論と暗号理論への貢献により、全米工学アカデミー[ 6 ]の会員になった。彼はまた、全米科学アカデミーの会員でもある[ 7 ]。
1994年、彼の論文「組み合わせ問題の解の分子計算」では、 DNAを計算システムとして実験的に使用したことが記述されている。 [ 9 ]この論文では、巡回セールスマン問題に似たNP完全問題であるハミルトングラフ問題の7ノードインスタンスを解いた。7ノードインスタンスの解は自明だが、この論文は、アルゴリズムを計算するためにDNAを成功裏に使用した最初の既知の例である。DNAコンピューティングは、他のいくつかの大規模な組み合わせ探索問題を解決する手段として可能性を秘めていることが示されている。[ 10 ]アドルマンは、DNAコンピューティングの父として広く知られている。[ 11 ]
2002年、彼と彼の研究グループは、DNA計算を使用して「非自明な」問題を解決することに成功した。[ 12 ] 具体的には、100万を超える潜在的な解を持つ20変数SAT問題を解決した。彼らは、アドレマンが1994年の画期的な論文で使用した方法と同様の方法でそれを実行した。まず、問題の解空間を論理的に代表するDNA鎖の混合物を合成した。次に、この混合物を生化学的手法を使用してアルゴリズム的に操作し、「間違った」鎖を選別して、問題を「満たす」鎖だけを残した。残ったこれらの鎖のヌクレオチド配列を分析すると、元の問題に対する「正しい」解が明らかになった。[ 1 ]
彼は、アドレマン・ポメランス・ルーメリー素数判定法の最初の発見者の一人である。[ 13 ] [ 14 ]
フレッド・コーエンは、1984年の論文「コンピュータウイルスの実験」の中で、アドレマンが「コンピュータウイルス」という用語を造語したと述べている。[ 15 ]
2017年現在、アデルマンはストラタの数学理論に取り組んでいる。彼は南カリフォルニア大学のコンピュータサイエンスの教授である。[ 16 ]
RSA暗号システムの発明への貢献により、アデルマンはロン・リヴェスト、アディ・シャミアとともに、1996年のパリス・カネラキス理論と実践賞、そしてコンピュータ科学のノーベル賞とも呼ばれる2002年のチューリング賞を受賞しました。[ 1 ]アデルマンは2006年にアメリカ芸術科学アカデミーのフェローに選出され[ 17 ]、2021年にはACMフェローにも選出されました。[ 18 ]