In 1994, his paper
Molecular Computation of Solutions To Combinatorial Problems described the experimental use of
DNA as a computational system. In it, he solved a seven-node instance of the
Hamiltonian Graph problem, an
NP-complete problem similar to the
travelling salesman problem. While the solution to a seven-node instance is
trivial, this paper is the first known instance of the successful use of DNA to compute an
algorithm. DNA computing has been shown to have potential as a means to solve several other large-scale combinatorial search problems. Adleman is widely referred to as the Father of DNA Computing. In 2002, he and his research group managed to solve a 'nontrivial' problem using DNA computation. Specifically, they solved a 20-variable
SAT problem having more than 1 million potential solutions. They did it like the one Adleman used in his seminal 1994 paper. First, a mixture of DNA strands logically representative of the problem's solution space was synthesized. This mixture was then operated algorithmically using biochemical techniques to winnow out the 'incorrect' strands, leaving behind only those strands that 'satisfied' the problem. Analysis of the nucleotide sequence of these remaining strands revealed 'correct' solutions to the original problem.
Fred Cohen, in his 1984 paper,
Experiments with Computer Viruses credited Adleman with coining the term "
computer virus". As of 2017, Adleman is working on the mathematical theory of Strata. He is a Computer Science professor at the University of Southern California. == Awards ==