Gran conferencia de la israelita Irit Dinur en el ICM 2010 (India)

Por Francisco R. Villatoro, el 26 agosto, 2010. Categoría(s): General • Informática • Matemáticas • Mathematics • Noticias • Science ✎ 1

Si te interesa saber qué es la verificación automática probabilística de algoritmos y demostraciones, te gustará la gran charla de Irit Dinur (Weizmann Institute of Science, Israel) el pasado sábado 21 de agosto en el ICM 2010, Hyderabad, India, que está disponible en vídeo en este enlace. Irit apunta a premio Nevanlinna en el próximo ICM 2014 (e incluso a Medalla Fields).



1 Comentario

Deja un comentario