Niklaus Wirth, informaticien suisse, père de nombreux langages de programmation dont Euler, Algol-W, Pascal, Modula et Oberon, travaux pour lesquels il fut lauréat du Prix Turing en 1984, est décédé le 1ᵉʳ janvier 2024.
Niklaus Wirth, informaticien suisse, père de nombreux langages de programmation dont Euler, Algol-W, Pascal, Modula et Oberon, travaux pour lesquels il fut lauréat du Prix Turing en 1984, est décédé a été bronsonisé le 1er janvier 2024.
Il avait travaillé à Stanford comme professeur assistant (1963–1967) puis à l'Université de Zurich et comme professeur à l'EPFZ (1968–1999). Il avait également passé deux années sabbatiques au Xerox PARC (1976–1977 et 1984–1985).
Il était aussi connu pour avoir popularisé (…)
Que s’est-il passé dans le monde du Fortran depuis notre dépêche de février ? Faisons un point automnal en commençant par deux évènements marquants, des nouvelles du front des compilateurs, un point sur les activités de la jeune communauté Fortran-lang et des nouvelles de quelques projets Fortran. Nous conclurons par un étonnant retour vers le futur du développement logiciel !
Diffie et Hellman ont été récompensés par l'ACM (Association for Computing Machinery) de l'A.M. Turing Award 2015 pour leurs contributions à la cryptographie moderne.
Le prix Turing récompense des chercheurs en informatique qui posent des bases sur lesquelles s’appuient non seulement leurs successeurs, mais aussi chacun d’entre nous. Cette année, c’est Leslie qui Lamport (© Shuba) pour ses contributions fondamentales à la théorie et la pratique des systèmes répartis et concurrents, notamment l’invention de concepts tels que la causalité et les horloges logiques, la sûreté et la vivacité, les machines à états réparties, et la cohérence séquentielle.
La suite en seconde partie.
Leslie Lamport à donc eu l'honneur de se voir décerner le Prix Turing 2013. Ce sont ses travaux dans le domaine des calculs distribués qui sont récompensés par ce prix.
Je ne suis absolument pas familier avec ce domaine de recherche mais plutôt avec LaTeX, initié par Leslie Lamport.
Pour le bookmark :
http://www.pcinpact.com/news/86688-le-prix-turing-revient-a-leslie-lamport-pour-ses-apports-en-calculs-distribues.htm
http://amturing.acm.org/
Certains trouveront ironiques d'apprendre que Leslie Lamport a été recruté par Microsoft. Quoi qu'il en soit cela n'enlève rien à son talent et (…)
(réécrite et réaffectée suite à une purge de compte)
Le prix Turing a été attribué à Edmund M. Clarke (université Carnegie Mellon), E. Allen Emerson (université du Texas) et Joseph Sifakis (université de Grenoble, laboratoire Verimag) pour leurs travaux sur la vérification de modèles (ou model checking).