La Medalla John von Neumann [1] ( Eng. IEEE John von Neumann Medal ) es un premio en el campo de la tecnología de la información establecido por la Junta Directiva de IEEE en 1990. Otorgado anualmente desde 1992 por destacados logros teóricos, tecnológicos y empresariales. No solo se tienen en cuenta los nuevos logros, sino también los resultados significativos de años anteriores [2] . En una nominación, se pueden indicar de 1 a 3 personas, la medalla se otorgó tres veces a equipos de dos científicos, en otros casos, se otorgó una persona.
La medalla está patrocinada por IBM Corporation . Nombrado en honor a John von Neumann .
La Medalla John von Neumann fue otorgada a: [3]
| Año | Laureado | Justificación del premio |
|---|---|---|
| 1992 | campana gordon | Por contribuciones innovadoras a la arquitectura y diseño de computadoras. |
| 1993 | Frederic Brooks | Texto original (inglés)[ mostrarocultar] "Para desarrollos significativos en la arquitectura de computadoras, observaciones perspicaces sobre ingeniería de software y para la educación y el servicio profesional de las ciencias de la computación". |
| 1994 | Juan gallo | Por contribuciones a la industria informática, incluida la invención, el desarrollo y la implementación de la arquitectura RISC y la tecnología de optimización de software. |
| 1995 | donald knuth | Texto original (inglés)[ mostrarocultar] "Por contribuciones fundamentales a la teoría y la práctica de las ciencias de la computación y al arte de la programación de computadoras". |
| 1996 | Carver Mead | Texto original (inglés)[ mostrarocultar] "Por liderazgo y contribuciones innovadoras a VLSI y estructuras microelectrónicas creativas". |
| 1997 | maurice wilks | Texto original (inglés)[ mostrarocultar] "Por una carrera de por vida de contribuciones seminales a la informática, incluida la primera computadora de programa almacenado operativa a gran escala y los fundamentos de la programación". |
| 1998 | Iván Sutherland | Texto original (inglés)[ mostrarocultar] "Por contribuciones pioneras a gráficos por computadora y diseño microelectrónico, y liderazgo en el apoyo a la investigación en informática e ingeniería" |
| 1999 | douglas engelbart | Texto original (inglés)[ mostrarocultar] "Por crear las bases de la computación personal interactiva en tiempo real, incluidas las pantallas CRT, las ventanas, el mouse, los enlaces y conferencias de hipermedios y las revistas en línea". |
| 2000 | John Hennessy y David Patterson | Texto original (inglés)[ mostrarocultar] "Por crear una revolución en la arquitectura informática a través de su exploración, popularización y comercialización de innovaciones arquitectónicas". |
| 2001 | Mayordomo Lampson | Texto original (inglés)[ mostrarocultar] "Por liderazgo técnico en la creación de tiempo compartido, computación distribuida, seguridad de redes y lenguajes de programación". |
| 2002 | Ole-Johan Dahl y Kristen Nyugor | Texto original (inglés)[ mostrarocultar] "Por la introducción de los conceptos que subyacen a la programación orientada a objetos a través del diseño e implementación de SIMULA 67". |
| 2003 | Alfredo Aho | Texto original (inglés)[ mostrarocultar] "Por contribuciones a los fundamentos de la informática y a los campos de algoritmos y herramientas de software". |
| 2004 | Bárbara Liskov | Texto original (inglés)[ mostrarocultar] "Por contribuciones fundamentales a los lenguajes de programación, metodología de programación y sistemas distribuidos". |
| 2005 | Michael Rompepiedras | Texto original (inglés)[ mostrarocultar] "Por contribuciones al diseño, implementación y comercialización de sistemas de bases de datos relacionales y relacionales de objetos". |
| 2006 | Ed Catmull | Texto original (inglés)[ mostrarocultar] "Por contribuciones fundamentales a los gráficos por computadora y un papel pionero en el uso de la animación por computadora en películas". |
| 2007 | charles thacker | Texto original (inglés)[ mostrarocultar] "Por un papel central en la creación de la computadora personal y el desarrollo de sistemas informáticos en red". |
| 2008 | leslie lamport | Texto original (inglés)[ mostrarocultar] "Para el establecimiento de las bases de la computación distribuida y concurrente". |
| 2009 | susana graham | Texto original (inglés)[ mostrarocultar] "Por sus contribuciones al diseño e implementación de lenguajes de programación y por su servicio ejemplar a la disciplina de las ciencias de la computación". |
| 2010 | John Hopcroft y Jeffrey Ullman | Texto original (inglés)[ mostrarocultar] "Por sentar las bases para los campos de la teoría de los autómatas y el lenguaje y muchas contribuciones fundamentales a la informática teórica". |
| 2011 | Carlos Antonio Richard Hoare | Texto original (inglés)[ mostrarocultar] "Por contribuciones seminales a la base científica del diseño de software". |
| 2012 | Edward McCluskey | Texto original (inglés)[ mostrarocultar] "Por contribuciones fundamentales que dieron forma al diseño y prueba de sistemas digitales". |
| 2013 | dennis | Texto original (inglés)[ mostrarocultar] "Para abstracciones fundamentales para implementar protección en sistemas operativos y para el paradigma de programación de flujo de datos". |
| 2014 | Clive Moler | Texto original (inglés)[ mostrarocultar] "Por contribuciones fundamentales y ampliamente utilizadas al álgebra lineal numérica y al software científico y de ingeniería que transformó la ciencia computacional". |
| 2015 | james gosling | Para el lenguaje de programación Java, la máquina virtual Java y otras contribuciones a los lenguajes y entornos de programación. |
| 2016 | cristo papadimitriou | Texto original (inglés)[ mostrarocultar] "Por proporcionar una comprensión más profunda de la complejidad computacional y sus implicaciones para los algoritmos de aproximación, la inteligencia artificial, la economía, la teoría de bases de datos y la biología". |
| 2017 | vladimir vapnik | Para el desarrollo de la teoría del aprendizaje estadístico , los fundamentos teóricos del aprendizaje automático y las máquinas de vectores de soporte . |
| 2018 | cousot | Para la introducción de la interpretación abstracta , un poderoso marco para determinar automáticamente las propiedades de los programas con una amplia aplicación en verificación y optimización. |
| 2019 | Eva Tardosh | Por contribuciones al campo de los algoritmos, incluidos los nuevos métodos fundamentales de optimización, aproximación y teoría algorítmica de juegos. |
int main() { long k,i,b,sum,a,n; escanear("%ld",&k); para(n=0;suma<=LONG_MAX-b;n++){
para(i=1,suma=0;i<=k;i++){ para(a=0,b=1;a<n;a++){ b*=2*i-1; } suma+=b; if(suma>=LONG_MAX-b&&b!=2*k-1){ printf("%ld\n%ld\n+",suma,n); descanso; } otra cosa si (suma>=LONG_MAX-b&&b==2*k-1){ printf("%ld\n%ld\n*",suma,n); descanso; } }} }