Robert Floyd

Robert Floyd

male, deceased (2001)
Fellow of the Association for Computing Machinery, liberal arts, computer scientist, Turing Award laureate, Fellow of the ACM, Carnegie Mellon University…programverification
Robert W Floyd (June 8, 1936 - September 25, 2001) was an eminent computer scientist. Born in New York, Floyd finished school at age 14. At the...
Jonathan Shapiro

Jonathan Shapiro

male
Computer security specialist, Johns Hopkins University, Jonathan S. Shapiro, microkernel, programverification, security
Jonathan S. Shapiro is an expert in low-level computer system programming. He is currently an Assistant Professor in the Department of Computer...
Jack Schwartz

Jack Schwartz

male
Yale University, Courant Institute of Mathematical Sciences, quantum field theory, SETL, programverification, time-sharing…proof verification
Jacob T. Schwartz (Jack) is an United States mathematician, computer scientist, and professor of computer science at the New York University...
Byron Cook

Byron Cook

male
cambridge university, Industrial fellow, Microsoft Research, Prover Technology, programming languages, programverification
Dr. Byron Cook is researcher at Microsoft's laboratory at Cambridge University. Dr. Cook's research interests include topics in program...