Prestigio: Escuchémoslo para los informáticos teóricos. Sin su trabajo no llevaríamos un mini ordenador en el bolsillo. Quizás aún más importante es que no pudimos predecir con precisión el clima ni estar al borde de la computación cuántica confiable. Avi Wigderson merece, con razón, reconocimiento en este campo por un trabajo que ha influido ampliamente en muchos otros.
El miércoles, la Association for Computing Machinery, una prestigiosa organización en el campo de la informática, galardonado al matemático Avi Wigderson el Premio Turing. Este premio, a menudo llamado Premio Nobel de Computación, lleva el nombre de Alan Turing, un pionero en este campo. Se considera uno de los más altos honores en informática y viene con un premio en efectivo de un millón de dólares, lo que refleja el impacto significativo del trabajo del destinatario.
Wigderson es un informático teórico especializado en aleatoriedad, criptografía, complejidad computacional y otras actividades relacionadas. Trabaja como profesor de matemáticas avanzadas en el Instituto de Estudios Avanzados de Princeton, Nueva Jersey.
Los informáticos teóricos abordan preguntas como: «¿Este problema se puede resolver mediante la computación?» o «Si este problema se puede resolver mediante computación, ¿cuánto tiempo y otros recursos se necesitarán?»
También profundiza en el ámbito de la optimización de algoritmos informáticos. El hecho de que una línea de código sea la forma más obvia de ejecutar una tarea no significa que sea la forma más eficiente. Por lo tanto, Wigderson y otros en el campo son indirectamente responsables de los avances en todo, desde la criptografía hasta el aprendizaje automático.
Avi Wigderson *83 ha ganado el #PremioACMTuring de @ElOficialACM!
El premio se considera el más alto honor en informática y a menudo se lo denomina «Premio Nobel de Computación».
¡Felicidades! �’� https://t.co/g9KOK1llTy
– Universidad de Princeton (@Princeton) 10 de abril de 2024
Wigderson ha dirigido investigaciones teóricas que han sentado las bases de la aleatoriedad computacional y la pseudoaleatoriedad en sistemas durante cuarenta años. Durante mucho tiempo se pensó que los sistemas caóticos como el clima o la mecánica cuántica son imposibles de modelar usando instrucciones deterministas debido al comportamiento aleatorio inherente de esos sistemas.
En una serie de estudios, Wigderson y sus colegas desafiaron los supuestos computacionales ampliamente aceptados al demostrar que todos los algoritmos probabilísticos de tiempo polinomial pueden «desaleatorizarse» de manera eficiente y volverse completamente deterministas. La desrandomización es el proceso de convertir un algoritmo probabilístico en uno determinista, lo que tiene implicaciones significativas para la eficiencia y confiabilidad de los procesos computacionales.
«En otras palabras, la aleatoriedad no es necesaria para un cálculo eficiente», señala el ACM. «Esta secuencia de trabajos revolucionó nuestra comprensión del papel de la aleatoriedad en la computación y la forma en que pensamos sobre la aleatoriedad».
Las obras fundamentales de Wigderson incluyen los artículos «Dureza vs aleatoriedad» «BPP tiene simulaciones de tiempo subexponenciales a menos que EXPTIME tenga pruebas publicables,» y «P = BPP si E requiere circuitos exponenciales: desaleatorizando el lema XOR.» Estos artículos, escritos en coautoría por contemporáneos como Noam Nisan y Lanza Fortnowse convirtió en material fundamental para otros estudios en informática teórica.
Como profesor, Wigderson ha sido mentor tanto de estudiantes como de colegas. Tiene pasión por su campo de estudio y entusiasmo por compartir sus conocimientos con todas las personas que conoce.
«En particular, ninguno de estos artículos tiene un autor exclusivo ni siquiera se superponen mucho en sus listas de autores», escribió Fortnow en su blog sobre el trabajo de su colega. logro. «Avi compartió su sabiduría con muchos, casi 200 coautores distintos según DBLP. Felicitaciones a Avi y esta piedra angular de una carrera y un individuo increíbles».
Credito de imagen: Asociación para Maquinaria de Computación