Paulo Fernando Blauth Menezes

Possui graduação em Licenciatura em Matemática pela Universidade Federal do Rio Grande do Sul (1976), graduação em Matemática Aplicada à Computação pelo Instituto Superior Técnico (1993), mestrado em Computação pela Universidade Federal do Rio Grande do Sul (1979) e doutorado em Matemática pelo Instituto Superior Técnico (1996). Atualmente é professor da Universidade Federal do Rio Grande do Sul. Tem experiência na área de Ciência da Computação, com ênfase em Fundamentos da Computação, atuando principalmente nos seguintes temas: linguagens formais e autômatos, teoria das categorias, teoria da computação, matemática discreta e modelos para concorrência.

bachelor's at Licenciatura em Matemática from Universidade Federal do Rio Grande do Sul (1976), bachelor's at Matemática Aplicada à Computação from Instituto Superior Técnico (1993), master's at Computer Science from Universidade Federal do Rio Grande do Sul (1979) and doctorate at Matemática from Instituto Superior Técnico (1996). Has experience in Computer Science, focusing on Foundations of Computation, acting on the following subjects: formal languages, theory of computation, category theory, discrete mathematics and models for concurrency .