Thiago Luiz Vieira de Lima Santos

possui graduação em Ciência da Computação pela Universidade Federal de Pernambuco (2000) e mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (2003). Também fez parte da primeira turma do Curso Sequencial de Formação Complementar com ênfase em Teste de Software promovido pela UFPE em parceria com a Motorola do Brasil. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: recuperação de informação, orientação a objetos, Java e tecnologias Web.

Informações coletadas do Lattes em 26/09/2024

Acadêmico

Formação acadêmica

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

2004 - Atual

Universidade Federal de Pernambuco
Orientador: Augusto Cesar Alves Sampaio
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Orientação a Objetos; Linguagens de Programação; Métodos Formais; Semântica de Linguagens.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 / 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.

Mestrado em Ciências da Computação

2001 - 2003

Universidade Federal de Pernambuco
Orientador: André Luis de Medeiros Santos
Palavras-chave: Java; Parametrização de Software; Reusabilidade; Orientação a Objetos; Linguagens de Programaçã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.

Aperfeiçoamento em Ciência da Computação

2002 - 2003

Universidade Federal de Pernambuco
Orientador: Augusto Cézar Alves Sampaio
Bolsista do(a): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco, FACEPE, Brasil.

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

1996 - 2000

Universidade Federal de Pernambuco
Orientador: Flávia de Almeida Barros
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Idiomas

Inglês

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

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 / 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: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informaçã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: Banco de Dados.

Participação em eventos

First International Symposium on Unifying Theories of Programming. Autor UTP'06. 2006. (Congresso).

Nono Simpósio Brasileiro de Linguagens de Programação (SBLP 2005 - 9th Brazilian Symposium on Programming Languages. Autor SBLP 2005. 2005. (Congresso).

. Participante SBMF 2005. 2005. (Congresso).

The Fourth Latin American Conference on Patterns Languages and Programming. Autor SugarLoafPLop 2004. 2004. (Congresso).

. Participante SBMF 2004. 2004. (Congresso).

.Participante Pernambuco School on Software Engineering em Recife 2004. 2004. (Outra).

6th Workshop on Formal Methods. Participante WMF'03. 2003. (Congresso).

XXV Seminário Integrado de Software e Hardware do XVIII Congresso Nacional da Sociedade Brasileira de Computação. Autor SEMISH'98. 1998. (Congresso).

XVII Jornadas de Atualização de Informática (JAI) do XVIII Congresso Nacional da Sociedade Brasileira de Computação. Participante JAI'98. 1998. (Congresso).

XVI Congresso da Sociedade Brasileira de Computação. Participante CSBC'96. 1996. (Congresso).

Produções bibliográficas

BARROS, Flávia de Almeida ; GONÇALVES, Pedro Falcão ; SANTOS, Thiago . Providing Context to Web Searches: The Use Of Ontologies To Enhance Search Engine'S Accuracy. Journal of the Brazilian Computer Society , Brazil, v. 5, n.2, p. 45-55, 1998.
SANTOS, Thiago ; CAVALCANTI, Ana ; SAMPAIO, Augusto . Object-Orientation in UTP. In: First International Symposium on Unifying Theories of Programming, 2006, Middlesbrough. To appear in Lecture Notes Of Computer Science., 2006.
SANTOS, Thiago ; SANTOS, André . Parametrizando Software Java. In: SBLP 2005, 2005, Recife-PE. Proceedings of SBLP 2005 - 9th Brazilian Symposium on Programming Languages, 2005. p. 257-270.
SANTOS, Thiago L. V. L. ; RAMOS, Rodrigo T. ; K.ARLSSON, Börje F. F. . Usando Padrões para Reestruturação de uma Aplicação Legada. In: The Fourth Latin American Conference on Patterns Languages and Programming, 2004, Porto das Dunas, CE, Brasil. SugarLoafPLop 2004 Proceedings, 2004. p. 307-317.
BARROS, F. A. ; GONÇALVES, P. F. ; SANTOS, Thiago L. V. L. . Ontologies for Enhancing Web Searches'Precision and Recall. In: SEMISH'98 Congresso da SBC'98, 1998, Belo Horizonte, MG, Brasil. Anais do XVIII Congresso da Sociedade Brasileira de Computação, 1998. v. I. p. 225-240.
GONÇALVES, Pedro ; ROBIN, Jacques ; SANTOS, Thiago ; MIRANDA, Oscar ; MEIRA, Sílvio . Measuring the Effects Centroid size on Web Search Precision and Recall. In: INET'98, 1998, Geneva, Switzerland. Proceedings of the 6th Annual Conference of the Internet Society, 1998.

Prêmios

2002

Sun Certified Java Programmer, for the Java 2 Platform, Sun Microsystems.

1998

Artigo premiado como um dos três melhores do XXV SEMISH - XVIII Congresso da SBC. Titulo:Ontologies for Enhancing Web Searches'Precision and Recall, Sociedade Brasileira de Computacao..

Histórico profissional

Endereço profissional

Universidade Federal de Pernambuco, Centro de Informática. , Cidade Universitária, Recife, PE - Brasil - Caixa-postal: 7851, Telefone: (81) 21268430, URL da Homepage:

Experiência profissional

2005 - 2006

Tci Solutions

Vínculo: Autônomo, Enquadramento Funcional: Consultor, Carga horária: 0

Outras informações:
Consultoria para seleção do engenho de busca usado pela empresa em seus projetos.

2005 - Atual

Qualiti Software Processes

Vínculo: Autônomo, Enquadramento Funcional: Instrutor, Carga horária: 0

Outras informações:
Parte do banco de instrutores.

Atividades

11/2005 - 11/2005
Ensino,,Disciplinas ministradas, Java Básico, Java Avançado, Java para a Web

2004 - 2005

Centro de Informática Ufpe

Vínculo: Autônomo, Enquadramento Funcional: Consultor, Carga horária: 0

Outras informações:
Manutenção de sistemas e formulários Web da instituição.

2002 - 2003

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

Vínculo: Bolsista, Enquadramento Funcional: Engenheiro de Testes, Carga horária: 40

Outras informações:
Convênio em parceria com a Motorola Industrial do Brasil para o desenvolvimento, execução e manutenção de procedimentos de testes para softwares embutidos em celulares Motorola. Unidade Cin-STP. - Desenvolvimento de softwares utilizando J2ME (Java Micro Edition) e padrões 3GPP; - Procedimentos de inspeção formal de artefatos de software.

2002 - 2003

Fabrick Tecnologia da Informação Ltda

Vínculo: Autônomo, Enquadramento Funcional: Consultor, Carga horária: 0

Outras informações:
Consultoria em Sistemas de Informação para a Web. Desenvolvimento e manutenção de softwares em Java.

2000 - 2002

Mobile Software Technology Ltda

Vínculo: Celetista, Enquadramento Funcional: Engenheiro de Software e Analista de Projeto, Carga horária: 30

Outras informações:
Desenvolvimento de Sistemas de Informação para a Web. - Construção de aplicativos em grupo, com utilização de padrões de projeto, UML, aplicação de refatoramento e ferramentas de controle de versão; - Análise de performance e construção de sistemas de manipulação de grandes volumes de informações; - Foco em desenvolvimento de aplicativos em Java usando: JavaBeans, GUIs (AWT e Swing), Distribuição (Sockets, RMI), Threads, Geração Dinâmica de Documentos (Servlets) com integração a Web Servers (Apache), Acesso a Bancos de Dados (JDBC), e APIs para manipulação de XML; - Sistemas operacionais: Windows NT, AIX, Solaris e Linux. Com a utilização de linguagens de scripts/comandos; - Bancos: Oracle, PostgreSQL e Access.

1999 - 2000

Centro de Estudos e Sistemas Avançados do Recife

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

Outras informações:
Estágio curricular no desenvolvimento de Sistemas de Informação para a Web. - Desenvolvimento de mecanismos de busca para documentos na Internet utilizando Java Servlets/RMI/JDBC.