1996, MBA 1998, MS 2011), chief engineer for the Ford F-150 Lightning Turing, Ada Lovelace Award, and Grace Murray Hopper Award winners Frances E. Allen (M.Sc. 1957), first woman to win the Turing Award (2006); IBM computer science veteran; honored by the Association for Computing Machinery for her work on program optimization and Ptran: program optimization work that led to modern methods for high-speed computing; winner of Ada Lovelace Award Edgar F. Codd (Ph.D. 1965), mathematician; computer scientist; laid the theoretical foundation for relational databases; received the Turing Award in 1981 Stephen A. Cook (A.B. 1961); Turing Award 1982; formalised the notion of NP-completeness in a famous 1971 paper, "The Complexity of Theorem Proving Procedures" Dorothy E. Denning ACM Fellow; The 2001 Augusta Ada Lovelace Award from the Assoc. for Women in Computing acknowledged "her outstanding in computer security and cryptography as well as her extraordinary contributions to national policy debates on cyber terrorism and information warfare Margaret Hamilton (software engineer) 1986 winner of the Augusta Ada Lovelace Award Bill Joy (COE: BSE CompE 1975, 2004 D.Eng. (Hon.)), co-founder of Sun Microsystems; given 1986 Grace Murray Hopper Award by the ACM for his work on the UNIX operating system Jennifer Rexford (MSE 1993; Ph.D. 1996), winner of ACM's 2004 Grace Murray Hopper Award for outstanding young computer professional of the year Michael Stonebraker, computer scientist and Turing award winner specializing in database research Criminals, murderers, and infamous newsmakers Hawley Harvey Crippen (MED: 1882), infamous murderer; an American homeopath, ear and eye specialist and medicine dispenser. In 1910 he was hanged in Pentonville Prison in London, England, for the murder of his wife Cora Henrietta Crippen. François Duvalier (Public Health, 1944–45), repressive dictator of Haiti, excommunication from the Catholic Church; estimates of those killed by his regime are as high as 30,000. Theodore Kaczynski (Ph.D. 1967), better known as the Unabomber, one of UM's most promising mathematicians; earned his Ph.D. by solving, in less than a year, a math problem that his advisor had been unable to solve; abandoned his career to engage in a mail bombing campaign. Jack Kevorkian (MED: MD Pathology 1952), guilty of second-degree homicide after committing euthanasia by administering a lethal injection to Thomas Youk; spent eight years in prison John List, murderer and fugitive for eighteen years; caught after being featured in America's Most Wanted, died in prison. Nathan F. Leopold, Jr., thrill killer of Leopold