Contact: Jim OrmondCRYPTOGRAPHY PIONEERS RECEIVE ACM A.M. TURING AWARD

Source URL: awards.acm.org

• Turing Award laureates
• Public-key cryptography
• Cryptography
• Applied mathematics
• Whitfield Diffie
• Ralph Merkle
• Martin Hellman
• DiffieHellman key exchange
• Turing Award
• Cryptographic protocol
• Ron Rivest
• Key management

1 Turing Machines with Atoms Mikołaj Boja´nczyk, Bartek Klin, Sławomir Lasota, Szymon Toru´nczyk University of Warsaw, e-mail: {bojan,klin,sl,szymtor}@mimuw.edu.pl

Source URL: www.mimuw.edu.pl

Open Information Extraction: the Second Generation Oren Etzioni, Anthony Fader, Janara Christensen, Stephen Soderland, and Mausam Turing Center Department of Computer Science and Engineering University of Washington Box

Source URL: www.cs.washington.edu

arXiv:math/9808093v1 [math.LO] 21 AugInfinite Time Turing Machines Joel David Hamkins1 and Andy Lewis February 1, 2008

Source URL: arxiv.org

File: 15June12 Turing on the Fallibility of Software Version dated June 23, 2012 7:30 am

Source URL: http.cs.berkeley.edu

Path resolution for recursive nested modules is undecidable Keiko Nakata1 ,3 and Jacques Garrigue2 1 2

Source URL: www.cs.ioc.ee

• Software engineering
• Theoretical computer science
• Theory of computation
• Turing machine
• Computability theory
• Formal methods
• Models of computation
• Standard ML

Le cas Alan Turing d’Éric LIBERGE et Arnaud DELALANDE aux Arènes BD J

Source URL: avisdesbulles.com

Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

Source URL: www.monad.me.uk

PRIJSUITREIKING TURING TOEKENNING 21 MEI 2015 INZENDINGEN TURING TOEKENNING I

Source URL: www.turingfoundation.org

Berekenbaarheid 2006, toets 2 vrijdag 7 april, 11.45–12.30 Er zijn 3 onderdelen die ieder 3 punten opleveren, 1 punt is gratis. 1. Definieer een Turing machine die de numerieke functie f (m, n) = mn (machtsverheffen) b

Source URL: www.cs.ru.nl