Guilherme Albuquerque Pinto

graduation at Engenharia Elétrica from Universidade do Estado do Rio de Janeiro (1995), master's at Computer Science from Universidade Estadual de Campinas (1998) and doctorate at Computer Science from Universidade Estadual de Campinas (2003). Has experience in Computer Science, focusing on Computability and Computational Models, acting on the following subjects: automatos temporizados, protocolos de segurança, real-time systems, verificação formal and plano projetivo orientado. (Source: Lattes Curriculum)