Guilherme Albuquerque Pinto

Possui graduação em Engenharia Elétrica com ênfase em Sistemas e Computação pela Universidade do Estado do Rio de Janeiro (1995), mestrado e doutorado em Ciência da Computação pela Universidade Estadual de Campinas (1998 e 2003) e pós-doutorado na Universidade de Oldenburg, Alemanha (2005). Tem experiência na área de Ciência da Computação, atuando principalmente em temas teóricos como Algoritmos, Complexidade e Computabilidade. Também possui interesse em Verificação de Sistemas, Segurança e Criptografia, Lógica, Inteligência Artificial e Jogos.

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.