레너드 애들먼 (Leonard Adleman)
레너드 맥스 애들먼 (Leonard Max Adleman)(1945년 12월 31일 출생)은 미국의 컴퓨터 과학자이다. 그는 RSA 암호화 알고리즘의 공동 창조자 중 한 명으로, 그 공로로 2002년 튜링상을 수상했다. 또한 DNA 컴퓨팅 분야를 개척하고 '컴퓨터 바이러스'라는 용어를 만든 것으로 잘 알려져 있다.
전기
레너드 M. 애들먼 (Leonard M. Adleman)은 캘리포니아의 유대인 가정에서 태어났다. 그의 가족은 원래 현대 벨라루스의 민스크 지역에서 미국으로 이주해 왔다. 그는 샌프란시스코에서 자라 캘리포니아대학교 버클리에 진학해 1968년 수학 학사 학위를, 1976년 전기공학 및 컴퓨터과학(EECS) 박사 학위를 받았다. 또한 영화 《스니커즈》의 수학 자문위원이기도 했다. 1996년에는 계산 이론과 암호학에 기여한 공로로 미국 공학한림원 회원이 되었다. 그는 또한 미국 국립과학아카데미 회원이다.
애들먼은 아마추어 복서이기도 하며 제임스 토니와 스파링을 한 적이 있다.
발견
1994년 그의 논문 《Molecular Computation of Solutions To Combinatorial Problems》은 계산 시스템으로서 DNA의 실험적 사용을 기술했다. 그 논문에서 그는 외판원 문제와 유사한 NP-완전 문제인 해밀턴 경로 문제의 7개 노드 인스턴스를 해결했다. 7개 노드 인스턴스에 대한 해답은 사소하지만, 이 논문은 알고리즘을 계산하기 위해 DNA를 성공적으로 사용한 최초의 알려진 사례이다. DNA 컴퓨팅은 다른 여러 대규모 조합 탐색문제를 해결하는 수단으로서의 잠재력을 가지고 있음이 입증되었다. 애들먼은 널리 'DNA 컴퓨팅의 아버지'로 불린다.
2002년, 그와 그의 연구 그룹은 DNA 컴퓨팅을 사용하여 '사소하지 않은'문제를 해결해냈다. 구체적으로 그들은 100만 개가 넘는 잠재적 해를 가진 20변수 SAT 문제를 해결했다. 그들은 애들먼이 1994년의 기념비적 논문에서 사용했던 것과 유사한 방식으로 이를 수행했다. 먼저, 문제의 해 공간을 논리적으로 나타내는 DNA 가닥들의 혼합물이 합성되었다. 그런 다음 이 혼합물은 생화학적 기법을 사용해 알고리즘적으로 조작되어 '잘못된' 가닥들을 걸러내고, 문제를 '만족시키는' 가닥들만 남겼다. 이 남은 가닥들의 뉴클레오티드 서열을 분석하여 원래 문제에 대한 '올바른' 해답이 드러났다.
그는 애들먼-포머런스-루멜리 소수 판정법의 최초 발견자 중 한 명이다.
프레드 코언 (Fred Cohen)은 1984년 논문 《Experiments with Computer Viruses》에서 '컴퓨터 바이러스'라는 용어를 만든 공로를 애들먼에게 돌렸다.
2017년 기준, 애들먼은 스트라타의 수학적 이론을 연구하고 있다. 그는 서던캘리포니아대학교의 컴퓨터과학 교수이다.
상훈
RSA 암호체계 발명에 기여한 공로로 애들먼은 론 리베스트 (Ron Rivest), 아디 샤미르 (Adi Shamir)와 함께 1996년 파리스 카넬라키스 이론 및 실무상과, 흔히 컴퓨터 과학의 노벨상이라 불리는 2002년 튜링상을 수상했다. 애들먼은 2006년 미국 예술과 과학 아카데미 펠로로 선출되었으며 2021년 ACM 펠로가 되었다.
