David A. Huffman, professor of computer science