El próximo jueves día 9 de mayo a las 13:00 horas tendrá lugar en el Salón de Actos de la Facultad de Matemáticas de la UCM la conferencia "Could computers understand their own programs?", a cargo de Tony Hoare (Microsoft Research, Cambridge, United Kingdom. ACM Distinguished Program). El evento se encuadra dentro de los coloquios que organiza la Facultad de Matemáticas a lo largo del curso académico.

Tony Hoare es uno de los científicos que más huella han dejado en el terreno de la Programación. Recibió el Premio Turing en 1980. Sus aportaciones han contribuido decisivamente a hacer de la programación una disciplina científica. Hoare creó en 1960 el algoritmo quicksort, y posteriormente introdujo mecanismos que facilitaron la Programación Estructurada, y la Lógica de Hoare, que permitía razonar sobre el significado de los programas. Más adelante introdujo los monitores y el lenguaje Communicating Sequential Processes (CSP). Después, las Algebras de Procesos, y recientemente se ha embarcado en las Teorías Unificadoras de la Programación y la realización de un Compilador capaz de Verificar los programas que compila.