Laís Sousa de Andrade

Estudante do curso de Mestrado em Ciência da Computação na Universidade Federal de Pernambuco. Tem experiência em Ciência da Computação, com ênfase em Metodologia e Técnicas da Computação, Algoritmos e Estruturas de Dados e Complexidade Computacional.

Informações coletadas do Lattes em 28/10/2025

Acadêmico

Formação acadêmica

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

2013 - Atual

Universidade Federal de Pernambuco
Anjolina Grisi de Oliveira.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico. Palavras-chave: N-grafos; assistente de prova; provador automático de teoremas; dedução natural.Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.

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

2008 - 2012

Universidade Federal de Pernambuco
Orientador: Anjolina Grisi de Oliveira

Ensino Médio (2º grau)

2005 - 2007

Centro Federal de Educação Tecnológica de Pernambuco

Formação complementar

2009 - 2009

Veranico. (Carga horária: 80h). , Associação Instituto Nacional de Matemática Pura e Aplicada.

2008 - 2008

Programa de Iniciação Científica Jr. - PIC. (Carga horária: 144h). , Conselho Nacional de Desenvolvimento Científico e Tecnológico.

Idiomas

Inglês

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

Português

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

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computaçã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.

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

Prêmios

2009

Honorable Mention in the Brazilian First Phase of International Collegiate Programming Contest (ICPC), Association for Computing Machinery (ACM).

2009

Honorable Mention in the Brazilian Final Phase of International Collegiate Programming Contest (ICPC), Association for Computing Machinery (ACM).

2007

Gold Medal in the Brazilian Olympiad of Mathematics of the Public Schools, Sociedade Brasileira de Matemática (SBM) and Instituto de Matemática Pura e Aplicada (IMPA).

Histórico profissional

Endereço profissional

Universidade Federal de Pernambuco, Centro de Informática. , Avenida Jornalista Aníbal Fernandes, Cidade Universitária, 50740560 - Recife, PE - Brasil, Telefone: (081) 21268430

Experiência profissional

2012 - 2012

Sucinta Consultoria e Soluções em Informática LTDA

Vínculo: Colaborador, Enquadramento Funcional: Colaborador em Projeto de Desenvolvimento, Carga horária: 30

Outras informações:
Desenvolvimento da plataforma Social Surveillance, não disponível online. O projeto inclui o monitoramento e análise de atividades públicas de usuários em blogs e redes sociais; Montagem, armazenamento e análise de grafos sociais com usuários de redes como twitter e facebook; Desenvolvimento em plataformas em núvem, com o uso do projeto Hadoop e frameworks construídas sobre ele, como HBase e Chukwa; Uso e extensão de search engines como Apache Solr e Elasticsearch para armazenamento e processamento de documentos em texto; Uso da base de dados de grafos Neo4j, com as frameworks Blueprints e Gremlin para acesso e navegação sobre os grafos sociais armazenados; Desenvolvimento web com a framework Wicket; Desenvolvimento de RESTful web services com Jersey.

2010 - 2011

Personar IT Solutions Consultoria em informática LTDA

Vínculo: Estágio, Enquadramento Funcional: Desenvolveror de Software, Carga horária: 30

Outras informações:
O estágio foi dedicado ao trabalho no desenvolvimento da plataforma SocialQualis, hoje conhecida como TopQualis, disponível online em www.topqualis.com. As atividades incluiram: desenvolvimento em Java em plataformas Cloud Computing, utilizando Hadoop; Desenvolvimento Web utilizando a framework Wicket e javascript; Desenvolvimento de web-search software direcionado a postagens públicas em blogs e redes sociais; Implementação de algoritmos de aprendizagem de máquina para análise de sentimento de texto; Planejamento e execução de testes; Montagem do ambiente de desenvolvimento e implantação em sistemas linux.

2008 - 2009

Universidade Federal de Pernambuco

Vínculo: Contestant, Enquadramento Funcional: Contestant no ACM-ICPC, Carga horária: 20

Outras informações:
Membro do Time UFPE de maratonistas que participavam do International Collegiate Programming Contest da ACM(Association for Computing Machinery), conhecido no Brasil como Maratona de Programação. Atividades incluiram: Estudo e desenvolvimento de soluções algorítmicas e matemáticas para problemas encontrados nas mais diversas áreas de atuação de cientistas e engenheiros da computação.