Ivan Xavier Araújo de Lima

Mestre em Computação pela UFF (Universidade Federal Fluminense) na área de Otimização Combinatória e Inteligência Artificial (2009) e Graduado em Ciência da Computação pela UFT (Universidade do Tocantins) (2006). Tem experiência na área de Ciência da Computação, atuando principalmente nos seguintes temas: otimização, grasp, geração de colunas, geração de cortes, roteamento de veículo. Trabalhando na UFT como Analista de Tecnologia da Informação com desenvolvimento web. (PHP, JSP, MySql, DB2) e como professor na Faculdade Católica do Tocantins (2011-2012).

Informações coletadas do Lattes em 29/05/2023

Acadêmico

Formação acadêmica

Mestrado em Computação

2006 - 2009

Universidade Federal Fluminense
Título: Algoritmos para problemas de roteamento de veículos, Ano de Obtenção: 2009
Luiz Satoru Ochi.Palavras-chave: Roteamento de Veículo; Caixeiro Viajante; Coleta e Entrega; Janela de Tempo.Grande área: Ciências Exatas e da Terra

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

2002 - 2006

Universidade Federal do Tocantins
Título: Solução Exata e Heurística para a Árvore de Steiner com Coleta de Prêmios
Orientador: Marcelo Lisboa Rocha

Formação complementar

2010 - 2010

Gestão de Segurança da Informação. (Carga horária: 20h). , Escola Superior de Redes RNP, ESR, Brasil.

2009 - 2009

C1-MPS-BR. (Carga horária: 16h). , Sociedade Brasileira para Promoção da Exportação de Software, SOFTEX, Brasil.

Idiomas

Inglês

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

Espanhol

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

Português

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

Libras

Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente.

Á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: Sistemas de Informação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Software Básico.

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

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

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

Grande área: Outros.

Organização de eventos

LIMA, I. X. A. . I Semana Acadêmica de Ciência da Computação. 2006. (Outro).

Participação em eventos

I Semana Acadêmica de Ciência da Computação.Joomla! - Caso de uso Portal UFT. 2006. (Encontro).

Participação em bancas

Aluno: Vitor Eduardo Mateus Teixeira

COSTA, F. V.; RINCON, A. M.;LIMA, I. X. A.. Chamilo Mobile. 2012. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - CENTRO UNIVERSITARIO CATOLICA DO TOCANTINS.

Aluno: Umbelina Macedo dos Santos Filha

COSTA, F. V.; COELHO, A.;LIMA, I. X. A.. Implantação da Biblioteca Itil V3 no Setor de Tecnologia da Informação do SEBRAE-TO. 2012. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - CENTRO UNIVERSITARIO CATOLICA DO TOCANTINS.

Aluno: MARCUS VINICIUS PRADO MENDES

MARTINS, S. M.;LIMA, I. X. A.; M. R., Rocha. Desenvolvimento de Algoritmo para Convergência entre Redes. 2011. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - CENTRO UNIVERSITARIO CATOLICA DO TOCANTINS.

Aluno: Patrício Marques de Queiroz

LIMA, I. X. A.; M. R., Rocha; COSTA, F. V.. Gestão de Patrimônio com QR-Code. 2011. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - CENTRO UNIVERSITARIO CATOLICA DO TOCANTINS.

Orientou

Patrício Marques de Queiroz

Gestão de Patrimônio com QR-Code; 2011; Monografia; (Aperfeiçoamento/Especialização em Sistemas de Informação) - CENTRO UNIVERSITARIO CATOLICA DO TOCANTINS; Orientador: Ivan Xavier Araújo de Lima;

Produções bibliográficas

LIMA, I. X. A. ; R. L., CARVALHO ; M. R., Rocha . Soluções Exata e Heurística para o Problema da Árvore de Steiner com Coleta de Prêmios.. In: Simpósio Brasileiro de Pesquisa Operacional, 2006, Goiânia. XXXVIII SBPO, 2006.
LIMA, I. X. A. . I Semana Acadêmica do Curso de Ciência da Computação. 2006. (Apresentação de Trabalho/Seminário).

Outras produções

LIMA, I. X. A. . Excel Intermediário e Avançado. 2011. .

LIMA, I. X. A. . Gestão de TI - Módulo I. 2010. (Curso de curta duração ministrado/Outra).

LIMA, I. X. A. . Gestão de TI - Módulo II. 2010. (Curso de curta duração ministrado/Outra).

LIMA, I. X. A. . "DOT PROJECT" Software livre para Gerenciamento de Projetos adaptados a UFT. 2009. (Curso de curta duração ministrado/Outra).

Histórico profissional

Endereço profissional

Universidade Federal do Tocantins, Campus Universitário de Palmas. , 109 Norte, Bloco IV, Sala 125, Plano Diretor Norte, 77001090 - Palmas, TO - Brasil, Telefone: (63) 32294423, URL da Homepage:

Experiência profissional

2011 - 2012

CENTRO UNIVERSITARIO CATOLICA DO TOCANTINS

Vínculo: Celetista formal, Enquadramento Funcional: Docente Mestre, Carga horária: 16

Outras informações:
Docente do Curso de Sistemas de Informação.

Atividades

01/2012 - 08/2012
Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, Informática Aplicada
08/2011 - 08/2012
Ensino, Sistema de Informação, Nível: Graduação,Disciplinas ministradas, Linguagens e Técnicas de Programação III, Linguagens e Técnicas de Programação IV, Aspectos Teóricos da Computação, Redes de Computadores I, Tópicos Especiais em Ambiente WEB
08/2011 - 12/2011
Ensino, Administração, Nível: Graduação,Disciplinas ministradas, Tecnologia da Informação e Comunicação

2009 - Atual

Universidade Federal do Tocantins

Vínculo: Servidor Público, Enquadramento Funcional: Analista de TI, Carga horária: 40

2006 - 2006

Universidade Federal do Tocantins

Vínculo: Professor Substituto, Enquadramento Funcional: Professor Substituto, Carga horária: 20

2003 - 2005

Universidade Federal do Tocantins

Vínculo: Servidor Público, Enquadramento Funcional: Programador/HelpDesk, Carga horária: 40

2010 - 2010

Escola de Gestão Fazendária do Estado do Tocantins

Vínculo: Professor, Enquadramento Funcional: Gestão em TI - Módulo I e II, Carga horária: 40

Outras informações:
- Perspectiva Institucional -- Introdução, evolução, definição e funcionamento. Contexto e abordagens contemporâneas - A instituição em rede -- O poder, definição e tipos de rede. Conceito de intranet e extranet. - Enxugando as organizações -- Reorganizando fluxos de trabalho. Flexibilidade crescente das organizações Banco de Dados: - Tipos e conceitos. Melhorando o desempenho. Aspectos de segurança. Banco de dados para a web. Sistemas: - Tipos, origem, integração e adoção dos melhores processos. Metodologias para escolha e implantação de um sistema. Exemplos de aplicação de sistemas.

2007 - 2009

GAPSO Serviços de Informática

Vínculo: Celetista formal, Enquadramento Funcional: Analista de Otimização, Carga horária: 40

Outras informações:
Análise e desenvolvimento em C++ de modelos matemáticos para solução de problemas. Uso da biblioteca ILOG CPLEX.

2007 - 2007

Automatos

Vínculo: Celetista formal, Enquadramento Funcional: Programador(a) JSP, Carga horária: 40

Outras informações:
Motivo da Saida: Fui para outro emprego na minha área de estudo do mestrado.

2006 - 2006

Fundação de Apoio Científico e Tecnológico do Tocantins

Vínculo: CLT, Enquadramento Funcional: Analista, Carga horária: 40

2005 - 2006

Secretaria da Saúde

Vínculo: Servidor Público, Enquadramento Funcional: Operador de Micro, Carga horária: 40

2005 - 2005

Colegio Albert Einstein

Vínculo: CLT, Enquadramento Funcional: Professor, Carga horária: 10

Outras informações:
Professor de Matemática