Universidad Complutense de Madrid
E-Prints Complutense

La obra científica de Tony Hoare

Impacto

Downloads

Downloads per month over past year



Peña Marí, Ricardo (2013) La obra científica de Tony Hoare. In Ciclo de conferencias de la Facultad de Informática 2012/2013, 23 de abril de 2013, Sala de Grados de la Facultad de Informática de la Universidad Complutense de Madrid. (Submitted)

Official URL: http://complumedia.ucm.es/resultados.php?contenido=yWsX96FWjlLKNC2W6JCwWA==



Abstract

C. A. R. Hoare será investido Doctor Honoris Causa en Informática por la UCM el viernes 10 de mayo. La Facultad de Informática ha promovido este nombramiento. Hoare es Premio Turing, el máximo galardón que puede alcanzar un informático, y en su larga trayectoria ha influido decisivamente en el diseño de mecanismos seguros para los lenguajes de programación y ha aportado numerosas técnicas para razonar sobre la corrección de los programas. La conferencia pretende divulgar la obra de este gran
investigador y animar a todos los miembros de la Facultad, profesores,alumnos y personal de administración y servicios, a acudir al memorable acto que tendrá lugar el día 10.


Item Type:Conference or Workshop Item (Other)
Additional Information:

Ciclo de conferencias de la Facultad de Informática 2012/2013 , coordinado por Francisco Javier López Fraguas

Subjects:Sciences > Computer science > Programming languages (Electronic computers)
Sciences > Computer science > Computer programming
ID Code:22972
Deposited On:25 Sep 2013 12:58
Last Modified:25 Sep 2013 12:58

Origin of downloads

Repository Staff Only: item control page