Lucília Camarão de Figueiredo

Bacharel em Física pela Universidade Federal de Minas Gerais (1979), Mestre em Ciências da Computação pela Universidade Federal de Minas Gerais (1985) e Doutora em Ciências da Computação pela PUC-Rio / UFMG (1997). Atualmente é professor Associado do Departamento de Computação da Universidade Federal de Ouro Preto. Áreas de interesse: Projeto e Implementação de Linguagens de Programação, Linguagens Funcionais, Sistemas de Tipos, Análise estática de propriedades de programas, Linguagens de Domínio Específico, Automatização de provas, Lógica.

bachelor's at Bacharelado em Física from Universidade Federal de Minas Gerais (1979), master's at Computer Science from Universidade Federal de Minas Gerais (1985) and doctorate at Doutorado em Ciência da Computação from Pontifícia Universidade Católica do Rio de Janeiro (1997). He is currently professor associado at Universidade Federal de Ouro Preto. Main research interests: project and implementation of programmaing languages, functional programming, type systems, static program analysis, domain spacific languages, automated theorem proving, logic.