Carlos Camarão de Figueiredo

Formado em Engenharia Mecânica pela Universidade Federal de Minas Gerais (1981), tem Mestrado em Ciência da Computação também pela UFMG e PhD em Computer Science pela University of Manchester (1994). Atualmente é professor associado da Universidade Federal de Minas Gerais. Tem experiência na área de Ciência da Computação, atuando principalmente nos seguintes temas: linguagens de programação, sistemas de tipos, inferência de tipos, programação funcional e satisfazibilidade em logica proposicional. Produção intelectual: 11 artigos completos publicados em periódicos, 2 livros publicados, sendo 1 deles organizado como edição de anais do Simpósio Brasileiro de Linguagens de Programação e o outro em co-autoria com Lucília Figueiredo, publicado pela LTC (2003), 7 capitulos de livro internacional, 2 traduções de livros do inglês para o português 25 artigos publicados em anais de congressos internacionais e nacionais.

Graduate at Engenharia Mecânica from Universidade Federal de Minas Gerais (1981), master's at Computer Science from Universidade Federal de Minas Gerais (1987) and PhD in Computer Science from University of Manchester (1994). Has experience in Computer Science, acting on the following subjects: programming languages, overloading, type inference, funcional programming, satisfiability of propositional logic.Nowadays Associate Professor of the Universidade Federal de Minas Gerais. Has published 7 papers in computer science journals, 2 books, one of them as an editor of the Brazilian Symposium on Programming Languages and the other co-authored by Lucília Figueiredo, published by LTC (2003), 1 chapter of an internacional book, 2 translations of books written in English to Portuguese, 7 conference papers in international conference proceedings and 11 in SBLP (Brazilian Conference on Programming Languages).