Len Cohen (often referred to as Fred Cohen) was the first to formally define and demonstrate the concept of a computer virus in 1983. He created the first documented computer virus as part of his doctoral research. Smith, Norton, and McAfee are associated with antivirus software, not the original virus definition.