Isabel Gomes Barbosa

Atualmente é aluna de doutorado do curso de Ciência da Computação da Universidade Federal de Minas Gerais. Possui graduação em Ciência da Computação pela Pontifícia Universidade Católica de Minas Gerais (2005) e mestrado em Ciência da Computação pela Universidade Federal de Minas Gerais (2008). Possui experiência na área de Ciência da Computação, atuando principalmente nos seguintes temas: inferência baseada em lógica de primeira ordem, árvores de prova, extração de respostas.

Informações coletadas do Lattes em 15/11/2025

Acadêmico

Formação acadêmica

Doutorado em andamento em Ciências da Computação

2010 - Atual

Universidade Federal de Minas Gerais
Newton José Vieira. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Palavras-chave: prova automática de teoremas; lógica de primeira ordem; árvores de prova; extração de respostas; sistemas baseados em conhecimento.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.

Mestrado em Ciências da Computação

2006 - 2008

Universidade Federal de Minas Gerais
Newton José Vieira.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico. Palavras-chave: prova automática de teoremas; lógica de primeira ordem; árvores de prova; extração de respostas; sistemas baseados em conhecimento.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.

Graduação em Ciência da Computação

2002 - 2005

Pontifícia Universidade Católica de Minas Gerais, PUC Minas
Orientador: Luis Enrique Zárate

Ensino Médio (2º grau)

1999 - 2001

Colegio Loyola

Formação complementar

2004 - 2007

Curso de Inglês. , Cultura Inglesa.

2006 - 2006

Curso de Inglês. , St Giles International, Londres, Inglaterra.

2004 - 2004

Curso JAVA: Completo e Abrangente. , Pontifícia Universidade Católica de Minas Gerais, PUC Minas, Brasil.

Idiomas

Inglês

Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Bem.

Participação em eventos

ICAART 2010 2nd International Conference on Agents and Artificial Intelligence. Extracting case-based answers from closed proof-trees.. 2010. (Congresso).

IV Escola de Informática de Minas Gerais (ERI-MG). 2005. (Seminário).

Semana da Computação - PUC Minas. 2004. (Seminário).

Produções bibliográficas

VIEIRA, N. J. ; BARBOSA, I. G. ; Camarão, C. . From proof trees to justificatory answering. In: 15th Portuguese Conference on Artificial Intelligence, 2011, Lisboa. 15th Portuguese Conference on Artificial Intelligence, 2011. p. 313-327.
BARBOSA, I. G. ; VIEIRA, N. J. . Extracting case-based answers from closed proof-trees. In: ICAART 2010 - 2nd International Conference on Agents and Artificial Intelligence, 2010, Valência. ICAART 2010 - 2nd International Conference on Agents and Artificial Intelligence. Portugal: INSTICC, 2010. v. 1. p. 377-384.
BARBOSA, I. G. ; VIEIRA, N. J. . Extracting case-based answers from closed proof-trees. 2010. (Apresentação de Trabalho/Congresso).

Projetos de pesquisa

2004 - 2005

Avaliação Tecnológica da Energia Solar Fotovoltaica., Descrição: Este projeto tem como principais objetivos a sustentabilidade dos sistemas de energia solar fotovoltaica e desenvolvimento de tecnologia nacional para projetos de protótipos de equipamentos para sistemas fotovoltaicos. As etapas do projeto consiste de: certificação de equipamentos, avaliação de tecnologias, pesquisa e desenvolvimento de protótipos, estabelecimento de padrões, otimização e dimensionamento de sistemas, desenvolvimento de modelos de sustentabilidade, desenvolvimento de curso de especialização, formação de recursos humanos e transferência tecnológica. Projeto executado pelo GREEN - Grupo de Estudos em Energia com a colaboração do GICAP - Grupo de Inteligência Computacional Aplicada.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Isabel Gomes Barbosa - Integrante / Daniel Alencar Soares - Integrante / Luis Enrique Zárate - Integrante / Lauro Machado Neto - Coordenador., Financiador(es): Companhia Energética de Minas Gerais S/A - Bolsa / Pontifícia Universidade Católica de Minas Gerais - Auxílio financeiro.

Prêmios

2005

Aluna Medalha de Ouro do Curso de Ciência da Computação, Pontifícia Universidade Católica de Minas Gerais.

Histórico profissional

Experiência profissional

2005 - 2005

ARTE - GESTÃO DE PESSOAS

Vínculo: Estagiária, Enquadramento Funcional: Desenvolvedor de sistemas, Carga horária: 30

2004 - 2005

Pontifícia Universidade Católica de Minas Gerais, PUC Minas

Vínculo: Bolsista Iniciação Científica, Enquadramento Funcional: Pesquisador, Carga horária: 20