id author title date pages extension mime words sentences flesch summary cache txt work_npjakqqcvjfefisuvpnblxgi7m Jack Rosenberger Gödel Prize and other CS awards 2010 1 .pdf application/pdf 658 103 66 are recognized for their contributions to computer science. Georg Gottlob, a professor of computing science at the University of Oxford, The Natural Sciences and Engineering Research Council of Canada bestowed the Gerhard Herzberg Canada quantum information science. associate professor at New York University's Courant Institute of MathComputer Society, and other organizations recently honored select scientists for their contributions to computer science. In recognition of their outstanding papers in theoretical computer science, EATCS and ACM SIGACT awarded the professor of computer science at Princeton University, and Joseph S.B. Mitchell, a professor in the Department of presented the Roger Needham Award to Joël Ouaknine of the Oxford University Computing Laboratory in recognition of his seminal and mathematical contributions to the field of timed field of science and engineering supported by NSF. Computer Science and Engineering at and professor of computer science and Science, for her fundamental contributions to the theoretical foundation of ./cache/work_npjakqqcvjfefisuvpnblxgi7m.pdf ./txt/work_npjakqqcvjfefisuvpnblxgi7m.txt