Santiago Zanella, que completó su doctorado en IMDEA Software bajo la supervisión del Prof. Gilles Barthe, ha sido el ganador del premio EAPLS 2011 a la mejor tesis doctoral por su tesis “Formal Certification of Game-Based Cryptographic Proofs” presentada en la École Nationale Supérieure des Mines de París en 2010.
Este premio lo concede la European Association on Programming Languages and Systems al estudiante de doctorado que realice la contribución más original e influyente en el área de lenguajes de programación y sistemas, y que se haya graduado antes de noviembre de 2011 en una institución académica europea. El propósito del premio es atraer la atención al trabajo de excelencia, ayudar a la carrera del estudiante en cuestión, y promover el campo de investigación en su conjunto.
El ganador fue seleccionado por un comité de expertos internacionales. Aquí se pueden ver más detalles del procedimiento. Las tesis candidatas se juzgaron por su originalidad, impacto, relevancia y calidad.
Con esta última edición son ya dos los investigadores del Instituto IMDEA Software que han conseguido este prestigioso reconocimiento.
