Irit Dinur | |
---|---|
Alma máter | Doctorado en la Universidad de Tel Aviv |
Premios |
|
Carrera científica | |
Campos | Ciencias de la Computación , Teoría de la Complejidad |
Instituciones | Instituto de Ciencias Weizmann Instituto de Estudios Avanzados |
Tesis | (2001) |
Asesor de doctorado | Shmuel Safra |
Sitio web | www.wisdom.weizmann.ac.il/~dinuri/ |
Irit Dinur ( en hebreo : אירית דינור) es una científica informática israelí. Es profesora de informática en el Instituto de Ciencias Weizmann . [1] En 2024 fue nombrada miembro permanente de la facultad de la Escuela de Matemáticas del Instituto de Estudios Avanzados . [2] Su investigación se centra en los fundamentos de la informática y en la combinatoria , y especialmente en pruebas probabilísticamente comprobables y en la dificultad de aproximación . [3]
Irit Dinur obtuvo su doctorado en 2002 en la escuela de ciencias de la computación de la Universidad de Tel Aviv , asesorada por Shmuel Safra ; su tesis se tituló Sobre la dificultad de aproximar la cobertura mínima de vértices y el vector más cercano en una red . [4] Se unió al Instituto Weizmann después de visitar el Instituto de Estudios Avanzados en Princeton, Nueva Jersey , NEC y la Universidad de California, Berkeley .
Dinur publicó en 2006 una nueva prueba del teorema PCP que era significativamente más simple que las pruebas anteriores del mismo resultado. [5]
En 2007, recibió el Premio Michael Bruno Memorial en Ciencias de la Computación de Yad Hanadiv . [6] Fue oradora plenaria en el Congreso Internacional de Matemáticos de 2010. [7] En 2012, ganó el Premio Anna y Lajos Erdős en Matemáticas , otorgado por la Unión Matemática de Israel . [8] Fue becaria William Bentinck-Smith en la Universidad de Harvard en 2012-2013. [9] En 2019, ganó el Premio Gödel por su artículo "El teorema PCP por amplificación de brecha". [10]