David Cok, Ph.D.
David is a Chief Technologist within Kodak's Research Laboratories in Rochester, New York. He earned his Ph.D. in Physics at Harvard University, studying atomic and molecular spectroscopy. At Kodak, his research is in digital imaging and he has participated in and led software development projects for research and commercialization. David is the co-author of ESC/Java2 and an expert on program verification, JML, Java, and related topics.