Peña Marí, Ricardo Vicente2023-06-192023-06-192013-04-23https://hdl.handle.net/20.500.14352/36057Ciclo de conferencias de la Facultad de Informática 2012/2013 , coordinado por Francisco Javier López FraguasC. 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.conference outputhttp://complumedia.ucm.es/resultados.php?contenido=yWsX96FWjlLKNC2W6JCwWA==metadata only access004-051(042.3)(086.8)004.43(042.3)(086.8)Lenguajes de programaciónProgramación de ordenadores (Informática)1203.23 Lenguajes de Programación1203.23 Lenguajes de Programación