Patrick M. (Pat) Hanrahan and Edwin E. (Ed) Catmull recipients of the 2019 ACM A.M. Turing Award

ACM Announces 2019 Turing Award Recipients

ACM has named Patrick M. (Pat) Hanrahan and Edwin E. (Ed) Catmull recipients of the 2019 ACM A.M. Turing Award for fundamental contributions to 3-D computer graphics, and the revolutionary impact of these techniques on computer-generated imagery (CGI) in filmmaking and other applications.

Ed Catmull and Pat Hanrahan have fundamentally influenced the field of computer graphics through conceptual innovation and contributions to both software and hardware. Their work has had a revolutionary impact on filmmaking, leading to a new genre of entirely computer-animated feature films beginning 25 years ago with Toy Story and continuing to the present day.

Catmull is a computer scientist and former president of Pixar and Disney Animation Studios. Hanrahan, a founding employee at Pixar, is a professor in the Computer Graphics Laboratory at Stanford University.

The ACM A.M. Turing Award, often referred to as the "Nobel Prize of Computing," carries a $1 million prize, with financial support provided by Google, Inc. It is named for Alan M. Turing, the British mathematician who articulated the mathematical foundation and limits of computing. Catmull and Hanrahan will formally receive the 2019 ACM A.M. Turing Award at ACM's annual awards banquet on June 20 in San Francisco, California.

"CGI has transformed the way films are made and experienced, while also profoundly impacting the broader entertainment industry," said ACM President Cherri M. Pancake. "We are especially excited to recognize Pat Hanrahan and Ed Catmull, because computer graphics is one of the largest and most dynamic communities within ACM, as evidenced by the annual ACM SIGGRAPH conference. At the same time, Catmull and Hanrahan's contributions demonstrate that advances in one specialization of computing can have a significant influence on other areas of the field. For example, Hanrahan's work with shading languages for GPUs, has led to their use as general-purpose computing engines for a wide range of areas, including my own specialization of high performance computing."

Prix Turing 2017, Turing Award 2017

https://www.acm.org/media-center/2018/march/turing-award-2017

Il est décerné à Hennessy et Patterson, les grands promoteurs des architectures RISC et les auteurs de "la bible" des architectes (le Hennessy-Patterson) : 

https://www.amazon.com/Computer-Architecture-Sixth-Quantitative-Approach/dp/0128119055 qu'il ne faut pas confondre avec le Patterson-Hennessy : 

https://www.amazon.com/Computer-Organization-Design-MIPS-Fifth/dp/0124077269/ref=asap_bc?ie=UTF8)

https://www.cnet.com/news/risc-chip-inventors-hennessy-patterson-win-computing-turing-prize/

"

Dave Patterson and John Hennessy, two San Francisco Bay Area professors now associated with Google, have won the computing industry's top prize for revolutionizing processors with a technology called RISC.

The pair won the 2017 A.M. Turing Award from the Association for Computing Machinery, a $1 million prize named after Alan Turing, the British researcher who famously helped crack German Enigma codes in World War II and lay the foundations of computer science. The high-prestige award is considered the Nobel Prize for computer science.

RISC, short for reduced instruction set computing, gave processors a major performance boost, fueled the growth of upstarts such as Silicon Graphics and Sun Microsystems, and paved the way for today's smartphone industry. It's been a remarkable success over the last three decades, and one emblematic of the Silicon Valley ethos of throwing out the old way of doing things."

Le prix Turing 2015 à Whitfield Diffie et Martin Hellman

http://www.lemonde.fr/pixels/article/2016/03/02/le-prix-turing-decerne-aux-inventeurs-du-chiffrement-moderne_4874995_4408996.html#xtor=RSS-3208

http://amturing.acm.org/

"Whitfield Diffie, former Chief Security Officer of Sun Microsystems and Martin E. Hellman, Professor Emeritus of Electrical Engineering at Stanford University, are the recipients of the 2015 ACM A.M. Turing Award, for critical contributions to modern cryptography. The ability for two parties to communicate privately over a secure channel is fundamental for billions of people around the world. On a daily basis, individuals establish secure online connections with banks, e-commerce sites, email servers and the cloud. Diffie and Hellman’s groundbreaking 1976 paper, “New Directions in Cryptography,” introduced the ideas of public-key cryptography and digital signatures, which are the foundation for most regularly-used security protocols on the Internet today. The Diffie-Hellman Protocol protects daily Internet communications and trillions of dollars in financial transactions."

Voir aussi :
http://lefenetrou.blogspot.fr/2016/02/citations-de-prix-turing-le-nobel-de.html

Michael Stonebraker, Prix Turing 2014

We are pleased to announce that the recipient of the 2014 ACM A.M. Turing Award is
Michael Stonebraker, MIT – CSAIL.
His citation follows: 

For fundamental contributions to the concepts and practices underlying modern
database systems.

Professor Stonebraker will be presented with the Turing Award at the June 20, 2015
ACM Awards Banquet at the Palace Hotel in San Francisco.

http://preview.acm.org/2014-turing-award

Bletchley Park, Alan Turing et les autres

http://www.lemonde.fr/pixels/article/2015/01/30/a-bletchley-park-l-histoire-secrete-de-l-invention-de-l-informatique_4566687_4408996.html#xtor=RSS-3208

http://www.lemonde.fr/pixels/article/2015/01/28/alan-turing-l-interminable-rehabilitation-d-un-genie_4564537_4408996.html

http://www.lemonde.fr/cinema/article/2015/01/27/imitation-game-alan-turing-genie-tragique_4564006_3476.html

Les critiques du film

http://www.allocine.fr/film/fichefilm-198371/critiques/presse/#pressreview40019660

La vie d'Alan Turing par sa mère et son frère

Excited about The Imitation Game? Read more on the life of Turing, as
written by his mother.
'The book is full of brilliant treasures, anecdotal accounts of Turing's
eccentricity and genius, and insights into his science ... This little
book, with its kaleidoscopic picture of Alan Turing's short life, goes
some way towards de-coding his mind, and his family.'-The Guardian

http://click.academic.cambridge.org/?qs=f26d2e14f94a2136ba2a58743592192acdb048a9d33bda7cfc09822cabebc26f

"In a short life he accomplished much, and to the roll of great
names in the history of his particular studies added his own." So is
described one of the greatest figures of the twentieth century, yet Alan Turing's name
was not widely recognized until his contribution to the breaking of the
German Enigma code became public in the 1970's. The story of Turing's life
fascinates and in the years since his suicide, Turing's reputation has
only grown, as his contributions to logic, mathematics, computing, artificial intelligence and
computational biology have become better appreciated. To commemorate the
centenary of Turing's birth, this republication of the biography written
by his mother Sara Turing is enriched by a new foreword by Martin Davis and a never-before-published memoir by Alan's older brother. The contrast between this memoir and the original
biography reveals tensions and sheds new light on Turing's relationship with
his family, and on the man himself.

Featuring:

- Never-before-published contribution from Alan's brother, John Turing
- Unique personal insights from family, friends, teachers and colleagues
- The story of Turing's life from early childhood through to his death in
1954

http://click.academic.cambridge.org/?qs=f26d2e14f94a2136dd15c27da19437351f93fd185b83ca7bde7d555e247fe07b

ISBN: 9781107524224
November 2014 I Paperback I L9.99
Other available formats:
Hardback, eBook

Praise for Alan M. Turing

"The world needed Alan Turing in the early years of computer science, and
it still does."


Anthony L. Clapes, Computing Reviews


"The book does effectively portray both Alan Turing's life and work. I
recommend this book not only to people interested in Alan's scientific
achievements, but to anyone who would like to meet a genius of the modern
era."


Rita Puzmanova, Computing Reviews

http://click.academic.cambridge.org/?qs=299c76d32924bed94d74078f088414312fcd4761f721243e5fea8ad4ea6aaee9

http://click.academic.cambridge.org/?qs=299c76d32924bed9d4f647fb70fdc357e1b86773d589ccfbf50cc3475dee06c2

http://click.academic.cambridge.org/?qs=299c76d32924bed9c8870e3b91534dfd7688444730639442709e2589cc73937b

http://click.academic.cambridge.org/?qs=f26d2e14f94a2136ff84251f40a0555e302f8f8ccabed046f60532ca4af4a9b5

Un message de Cambridge University Press

Je sais, je sais, vous vous attendiez à ce que je parle du livre de Valéry, celle de notre François.
Je ne suis pas un bon commercial ! Notre François est bien meilleur que moi !

Venez voir une machine de Turing en fonctionnement

Vous me direz que bof, un ruban de papier, un crayon...
Oui, mais là "ça marche tout seul" ! 
C'est à Nantes, c'est gratos (donc ça ne doit pas valoir grand chose, n'est-ce pas !) :

" De même, lors des Journées Académiques des 23 et 24 avril, nous avons eu le plaisir
d'accueillir Marc Raynaud, qui est venu de Rennes nous montrer la VRAIE DE VRAIE
Machine de Turing qu'il a lui-même fabriquée.

Tous les deux ont accepté de venir le MERCREDI 11 JUIN de 9h à 12h (voir programme
ci-dessous), Achilles pour parler de " Applications of Computability Theory"

Abstract:  I consider applications of the techniques of computability theory to other
fields and give details of an application to number theory.  In particular, I prove a
general thereom which, as a special case, implies that there is a limit computable
sequence relative to which no computable real is distribution-normal (joint work with
Konstantinos Beros).


et Marc pour nous présenter de nouveau son incroyable machine et ses prodigieuses
prouesses.

Ce sera dans la salle des séminaires du département de Maths, et le programme sera :

de 9h à 9h45 : exposé d'Achilles
de 9h 45 à 10h15 : échange
de 10h15 à 10h30 : pause
de 10h30 à 11h15 : Marc présente sa merveilleuse construction
de 11h15 à 11h45 : échange

Vous pouvez consulter les deux pages suivantes :

http://pagesperso.lina.univ-nantes.fr/~beros-a/

www.machinedeturing.com

D'autres machines, en Lego :

http://www.legoturingmachine.org/

http://www.dailymotion.com/video/xrn0yi_la-machine-de-turing-realisee_tech

Avec du papier et un crayon, la machine de Turing Universelle :

https://www.youtube.com/watch?v=3XG3vZq635A

P.S. Quelle évolution ! quand je pense à ce qui était disponible dans les années 60 pour se former à l'informatique ! quand je pense au cours de quelques heures en sciences éco où on m'avait présenté une carte perforée, donné sa taille, la taille de ses trous, son poids ! Et les livres qu'on trouvait en français ! 

Maintenant, demandez à un étudiant en informatique "normal" de vous exposer ce qu'est la machine de Turing (chut ...) ou demandez-lui de vous citer deux prix Turing.

P.S.  Peut-être qu'en engliche...

https://www.youtube.com/watch?v=gJQTFhkhwPA

P.S.

Breaking the code sur Alan Turing, le film

https://www.youtube.com/watch?v=S23yie-779k

Un autre film :

https://www.youtube.com/watch?v=gyusnGbBSHE

Une occasion de voir et entendre Minsky

La Reine vient de gracier Alan Turing

http://www.lemonde.fr/europe/article/2013/12/24/royaume-uni-grace-posthume-pour-alan-turing-condamne-pour-homosexualite_4339295_3214.html#xtor=RSS-3208  

Bon, vous me direz que 90% des informaticiens ignorent quel est ce type.
Mais qui savait qui était sensé être entre le boeuf et l'âne il y a 2013
ans !

Une expo pour célébrer le génie d'Alan Turing

http://www.lemondeinformatique.fr/actualites/lire-une-expo-pour-celebrer-le-genie-d-alain-turing-49448.html?utm_source=mail&utm_medium=email&utm_campaign=Newsletter

Pour l'année du 100e anniversaire de la naissance d'Alan Turing

Les méthodes de déchiffrement d'Alan Turing dévoilées

Un article du site du Monde Informatique (citez la source et non ce blog !)

http://www.lemondeinformatique.fr/actualites/lire-les-methodes-de-dechiffrement-d-alan-turing-devoilees-48642.html?utm_source=mail&utm_medium=email&utm_campaign=Newsletter

Edition du 23/04/2012 

Crédit Photo: D.R

" Une agence de renseignement anglais vient de publier deux papiers annotés par Alan Turing, un des pionniers de l'informatique. Ces documents montrent les travaux du chercheur sur les codes secrets utilisés lors de la 2ème Guerre Mondiale.

Des documents mathématiques écrits lors de la seconde Guerre Mondiale par le pionnier de l'informatique et déchiffreur de code, Alan Turing ont été déclassifiés par le GCHQ, agence de renseignement britannique. Le secret était gardé depuis 70 ans et vient d'être rendu public. Deux lettres manuscrites et typographiques ont été classés comme sensibles jusqu'à une réévaluation récente. Elles émanaient de Bletchley Park, un centre britannique des services secrets spécialisé dans le décryptage de code.

Alan Turing était un élément important de l'équipe de chercheurs qui a réussi à craquer le code « Enigma » utilisé par le régime nazi. Cette découverte a permis aux alliés d'intercepter des messages chiffrés et s'est révélée déterminante pour gagner la guerre. Selon le GCHQ, les papiers montrent « le caractère avant-gardiste des travaux d'Alan Turing en matière de cryptologie ». Ces documents indiquent en effet deux méthodes utilisées pour casser des codes. La première se base sur l'analyse des probabilités et l'autre repose sur les statistiques de répétitions afin de déterminer si deux messages chiffrés utilisent la même clé. L'agence de renseignement a daté une des lettres de 1941 ou 1942 par une référence à l'âge de Hitler.

Les documents sont maintenant exposés aux Archives Nationales de Kew. Cette mise à disposition intervient lors du centenaire de la naissance d'Alan Turing. Ce dernier s'est suicidé à l'âge de 41 ans en 1954 par un empoisonnement au cyanure, après avoir été forcé de subir une castration chimique à la suite d'une condamnation pour homosexualité. En 2009, le Premier Ministre, Gordon Brown s'était excusé pour ce « terrible » traitement infligé à Alan Turing. "

Le prix Turing 2011 a été décerné à Judea Pearl, "For fundamental contributions to artificial intelligence through the development of a calculus for probabilistic and causal reasoning. "

Attribué à Judea Pearl, père de Daniel Pearl assassiné par Al Quaïda en 2004

http://www.cio.co.uk/news/3345087/turing-award-2012-goes-ucla-professor-judea-pearl/ 

"Judea Pearl, a longtime UCLA professor whose work on artificial intelligence laid the foundation for such inventions as

 the iPhone's Siri speech recognition technology and Google's driverless cars, has been named the 2011 ACM 

Turing Award winner.

The annual Association for Computing Machinery (ACM) A.M. Turing Award, sometimes called the "Nobel Prize in Computing," recognises Pearl for his advances in probabilistic and causal reasoning. His work has enabled creation of thinking machines that can cope with uncertainty, making decisions even when answers aren't black or white. "

Le site de Judea Pearl :

http://bayes.cs.ucla.edu/jp_home.html
Sur le site de l'ACM :
http://amturing.acm.org/award_winners/pearl_2658896.cfm

La machine de Turing en lego à l'ENS de Lyon, à l'occasion du centenaire de la naissance d'Alan Turing

http://graal.ens-lyon.fr/rubens/

Denis Richtie, co-inventeur d'Unix et du langage C est mort, John McCarthy, inventeur du langage LISP est mort

http://www.lemonde.fr/technologies/article/2011/10/17/mort-de-dennis-ritchie-l-inventeur-d-unix-et-du-langage-

D. Richtie a écrit sur son site web, "A brief biography, in first person instead of obituary style." :


http://cm.bell-labs.com/cm/cs/who/dmr/bigbio1st.html

http://fr.wikipedia.org/wiki/Dennis_Ritchie

http://fr.wikipedia.org/wiki/John_McCarthy
http://www.slate.fr/lien/45497/john-mccarthy-intelligence-artificielle-mort
La page web de J. McCarthy
http://www-formal.stanford.edu/jmc/

Prix Turing 2009

http://www.acm.org/press-room/news-releases/2010/turing-award-09

"NEW YORK, March 9, 2010 – ACM, the Association for Computing Machinery today named Charles P. Thacker the winner of the 2009 ACM A.M. Turing Award http://awards.acm.org/2010/turing-award.cfm for his pioneering design and realization of the Alto, the first modern personal computer, and the prototype for networked personal computers. "
[...]
"Thacker created and collaborated on what would become the fundamental building blocks of the PC business. The Alto computer, developed in 1974, incorporated bitmap (TV-like) displays which enable modern graphical user interfaces (GUIs), including What You See Is What You Get (WYSIWYG) editors. These components have dominated computing during the last two decades. Thacker was the co-inventor of the Ethernet local area network, introduced in 1973, the “interconnection fabric” that allows multiple digital devices such as workstations, printers, scanners, file servers, and modems to communicate with each other. Today’s Ethernets, which are thousands of times faster than the original version, have become the dominant local area networking technology. "

Si on consulte wikipedia, l'Alto n'est pas indiqué !
http://fr.wikipedia.org/wiki/Ordinateur_personnel

Rappelons que :
"La question de savoir qui a créé le premier micro-ordinateur est source de controverse.[...]
"Si l'on considère la première machine vendue toute assemblée prête à l'emploi, il s'agit du Micral de l'entreprise française R2E en 1972."

Sur l'Alto :
http://fr.wikipedia.org/wiki/Alto_%28ordinateur%29

Traitement et communication de l’information quantique

Conférence au LINA, Fac des sciences de Nantes,
Philippe Jorrand - Directeur de Recherche Emérite, CNRS

11 juin 2009 14h - 15h30

"Les lois qui gouvernent la représentation de l’information, son traitement et sa communication sont dictées par celles qui gouvernent le monde physique dans lequel l’information est nécessairement incarnée. Cette affirmation est évidente pour les ordinateurs du commerce. Mais, et cela est plus surprenant, les modèles les plus abstraits de ce qu’est un calcul, comme la machine de Turing ou le lambda-calcul de Church, qui datent des années 30, sont eux aussi entièrement dépendants de cet enracinement de l’information dans la physique. Aujourd’hui, les principes fondamentaux de l’informatique telle que nous la connaissons sont classiques, au sens de la physique classique, celle de Newton et de Maxwell.

Les recherches sur le traitement et la communication de l’information quantique sont nées au début des années 80, engendrées par la rencontre de deux courants majeurs de la science du 20ème siècle : la physique quantique et les sciences de l’information. Il s’agit de déraciner l’informatique du terrain de la physique classique pour la replanter dans celui de la physique quantique, c’est-à-dire dans la connaissance ultime que nous avons aujourd’hui du monde étrange des particules élémentaires, telle qu’elle est formulée mathématiquement par la mécanique quantique. Si l’unité élémentaire d’information est ainsi portée par un seul atome, un seul électron ou un seul photon, quelle sont alors les conséquences pour le traitement et la communication de l’information ? Des résultats spectaculaires en cryptographie, en théorie de l’information, en algorithmique et, plus récemment, sur les modèles abstraits de calcul et les langages de programmation, ont montré que cela autorise des performances qui sont hors de portée de l’informatique d’aujourd’hui, et que cela ouvre de nouvelles avenues de recherches fondamentales et expérimentales en informatique et en physique.

Aucune connaissance préalable en mécanique quantique n’est requise pour suivre cet exposé. Après une évocation des motivations scientifiques et technologiques sous-jacentes, le but de cet exposé est de donner une vision d’ensemble des principes, des grands résultats et des perspectives lointaines des recherches actuelles sur le traitement et la communication de l’information quantique, en adoptant le point de vue d’un chercheur en informatique. Les propriétés du bit quantique et des registres quantiques, et les opérations qui leur sont applicables, seront d’abord définies. Puis une présentation des résultats fondateurs de ces recherches au cours de 20 dernières années montrera comment exploiter ces propriétés et ces opérations pour atteindre des performances qualitatives et quantitatives qui vont très au delà de ce que permettent les principes mêmes du traitement et de la communication de l’information classique : cryptographie quantique (des produits commerciaux existent déjà), téléportation d’états quantiques, algorithmes quantiques. La dernière partie de l’exposé passera en revue quelques travaux en cours pour la réalisation expérimentale d’un ordinateur quantique, où les obstacles à franchir vont constituer des défis majeurs, théoriques et expérimentaux, pour la physique et pour l’informatique pendant les quinze ou vingt premières années du 21ème siècle."

J'ai enfin compris. Un exposé compréhensible par quelqu'un ne connaissant pas la physique quantique.

Barbara Liskov, Prix Turing 2008

vient de m'apprendre Sébastien.

http://www.acm.org/news/featured/turing-08

Award Citation

For contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing.

Extrait du site du MIT

"Liskov, the first U.S. woman to earn a PhD from a computer science department, was recognized for helping make software more reliable, consistent and resistant to errors and hacking. She is only the second woman to receive the honor, which carries a $250,000 purse and is often described as the "Nobel Prize in computing."

La page de Barbara Liskov

Checking a large routine (Turing)

"Comment peut-on vérifier une routine dans le sens d'être sûr qu'elle est correcte ?
Pour que celui qui fait la vérification n'ait pas une tâche trop difficile, le programmeur doit faire un certain nombre d'assertions qui puissent être vérifiées individuellement, et à partir desquelles la correction de tout le programme s'en suive facilement."

‘Checking a large routine’, Alan Turing

"‘Checking a large routine’. This was a paper given by AMT on 24 June 1949 at the inaugural conference of the EDSAC computer at the Mathematical Laboratory, Cambridge, and published in the Report of a Conference on High Speed Automatic Calculating Machines, pp.67-9. The paper as published contained several transcription errors, and a corrected version, with comments, was published by F.L. Morris and C.B. Jones in Annals of the History of Computing, (Vol. 6, Apr. 1984). Comprises xerox of the 1949 paper and off-print of the 1984 version under the title, ‘An early program proof by Alan Turing’, made available by courtesy of the authors."
http://www.turingarchive.org/
le texte est ici :
http://www.turingarchive.org/browse.php/B/8

Le manuel de programmation du Ferranti mk 1 écrit par Alan Turing

http://www.digital60.org/documents/turing.pdf

On peut aussi se procurer le fac-similé sur la Toile

Modélisation mathématique de l'organisation du corps par Alan Turing

Une courte et bonne introduction dans Turing de Jean Lassègue, Les Belles Lettres
page 124 et s.

On y apprend que "Turing s'est inspiré de l'oeuvre d'un biologiste écossais, à la fois féru de philologie classique et de mathématiques, D'Arcy Thompson, qui avait écrit en 1917 un livre visant à rendre compte de la structure des formes dans le monde vivant à partir de processus physico-chimiques. [...]"

[...] "en partant d'un état homogène de la matière caractérisé par sa symétrie spatiale, étudier les conditions d'apparition d'une brisure de symétrie à l'origine d'une organisation. [...]

... les "structures de Turing"...

voir
http://fr.wikipedia.org/wiki/Biomath%C3%A9matique