Augusto Cezar Alves Sampaio es un informático brasileño que trabaja con métodos formales y semántica del lenguaje .
Augusto Sampaio de Recife , Pernambuco , Brasil . Se graduó en el Centro de Informática (CIn) de la Universidad Federal de Pernambuco (UFPE) (con una licenciatura en 1985 y una maestría en 1988). Realizó sus estudios de doctorado bajo la supervisión del Prof. Sir Tony Hoare en el Laboratorio de Computación de la Universidad de Oxford (finalizando en 1993). [1] En 2013 Sampaio se convirtió en Comandante de la Orden del Mérito Científico, otorgada por el Ministerio de Ciencia y Tecnología de Brasil. En julio de 2016 Sampaio recibió el título de Doctor Honoris Causa de la Universidad de York , Reino Unido. [2]
Sampaio es profesor de la Universidad Federal de Pernambuco. [3] Sus principales contribuciones se encuentran en el área de transformaciones de modelos y generación automática de pruebas a partir de modelos formales. [4]
Referencias
- ^ Sampaio, Augusto (1993). Un enfoque algebraico para el diseño de compiladores (tesis doctoral). Universidad de Oxford . OCLC 556622584 . EThOS uk.bl.ethos.334903 .
- ^ "Tony Hoare" . Departamento de Ciencias de la Computación, Universidad de Oxford . Consultado el 31 de mayo de 2016 .
- ^ "Augusto Sampaio" . Brasil: Universidad Federal de Pernambuco . Consultado el 9 de abril de 2014 .
- ^ Augusto Sampaio en elservidor de bibliografía DBLP.
enlaces externos
- Página web oficial
- Publicaciones de Augusto Cezar Alves Sampaio indexadas por Google Scholar
- Augusto Sampaio en el servidor de bibliografía DBLP