Alexandra Barreto Assad de Barros

Possui graduação em Ciência da Computação pela Universidade Federal de Pernambuco(2004) e mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro(2007). Tem experiência na área de Ciência da Computação, com ênfase em Metodologia e Técnicas da Computação. Atuando principalmente nos seguintes temas:Compiladores, Finalizadores, Coleta de Lixo.

Informações coletadas do Lattes em 19/11/2022

Acadêmico

Formação acadêmica

Doutorado em andamento em Informática

2010 - Atual

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Orientador: Roberto Ierusalimschy
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico.

Mestrado em Informática

2005 - 2007

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio
Roberto Ierusalimschy.Bolsista do(a): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. Palavras-chave: Compiladores; Finalizadores; Coleta de Lixo.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação.

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

2001 - 2004

Universidade Federal de Pernambuco
Orientador: Paulo Henrique Monteiro Borba
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior.

Formação complementar

2001 - 2001

Linguagem de Programação Delphi. (Carga horária: 90h). , Serviço Nacional de Aprendizagem Comercial/RJ.

Idiomas

Inglês

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

Português

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

Francês

Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Participação em eventos

SBLP.IX Simpósio Brasileiro de Linuagens de Programação. 2005. (Simpósio).

SBLP.VIII Simpósio Brasileiro de Linguagens de Programação. 2004. (Simpósio).

55ª Reunião Anual da SBPC. 55ª Reunião Anual da SBPC. 2003. (Congresso).

LADC.First Latin America Symposium on Depandable Computing. 2003. (Simpósio).

SBIA.XVI Brazilian Symposium on Artificial Intelligence. 2002. (Simpósio).

SBRN.VII Brazilian Symposium on Neural Networks. 2002. (Simpósio).

Produções bibliográficas

IERUSALIMSCHY, R. ; BARROS, Alexandra Barreto Assad de . Eliminating Cycles in Weak Tables. In: Simpósio Brasileiro de Linguagens de Programação, 2008, Fortaleza. Anais do XII Simpósio Brasileiro de Linguagens de Programação, 2008.
BARROS, Alexandra ; BARROS, Alexandra Barreto Assad de ; BORBA, Paulo . Um Sistema de Tipos para uma Linguagem de Transformação. In: IX Simpósio Brasileiro de Linguagens de Programação, 2005, Recife. IX Simpósio Brasileiro de Linguagens de Programação, 2005. p. 21-35.

Outras produções

BARROS, Alexandra Barreto Assad de . Type Checker para Java baseado em Aspectos.. 2004.

BARROS, Alexandra Barreto Assad de ; LEITE, Milena Rocha . Mini-curso de Java Básico, VII Jornada de Informática. 2003. .

Histórico profissional

Endereço profissional

Pontifícia Universidade Católica do Rio de Janeiro, Centro Técnico-Científico, Departamento de Informática. , Rua Marquês de São Vicente, nº 225, Gávea, 22453-900 - Rio de Janeiro, RJ - Brasil, Telefone: (21) 31141506, URL da Homepage:

Experiência profissional

2008 - 2010

Fundação de Apoio ao Desenvolvimento da Universidade Federal de Pernambuco

Vínculo: Servidor Público, Enquadramento Funcional: Engenheiro de Software Pleno, Carga horária: 40

2007 - 2008

Universidade de Amsterdã

Vínculo: Colaborador, Enquadramento Funcional: Pesquisador, Carga horária: 40, Regime: Dedicação exclusiva.

2004 - 2005

Centro de Estudos e Sistemas Avançados do Recife

Vínculo: Colaborador, Enquadramento Funcional: Estagiário, Carga horária: 30

Atividades

10/2004 - 02/2005
Estágios .,Estágio realizado, Pesquisa e Inovação Tecnológica.