Ivan da Silva Sendin

Possui graduação em Ciência da Computação pela Universidade Estadual de Londrina (1996) e Mestrado(1999) e Doutorado(2012) em Ciência da Computação pela Universidade Estadual de Campinas. Atualmente é professor da Universidade Federal de Uberlândia. Tem experiência na área de Ciência da Computação, com ênfase em Análise de Algoritmos, Teoria da Computação e Complexidade Estrutural. Atuando principalmente nos seguintes temas: algoritmos,bioinformática estrutural e tratamento de incertezas.

Informações coletadas do Lattes em 06/02/2026

Acadêmico

Formação acadêmica

Doutorado em Ciência da Computação

2009 - 2012

Universidade Estadual de Campinas
Título: Tratamento de Incertezas no Cálculode Estruturas de Proteínas
Orientador: Siome Klein Goldenstein
Coorientador: Carlile Lavor. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: incerteza; partículas; aritmética afim; proteínas; teoria da computação.

Mestrado em Ciência da Computação

1997 - 1999

Universidade Estadual de Campinas
Título: Funções de Hashing Criptográficas
Orientador: Ricardo Dahab
, Ano de Obtenção: 1999.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: criptografia; segurança; teoria da computação; hashing.Grande área: Ciências Exatas e da Terra

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

1993 - 1996

Universidade Estadual de Londrina
Título: Migração de Processos em Sistemas Distribuídos
Orientador: Fabio Sakuray

Formação complementar

2002 - 2002

Projetos e Implementação de Sistemas Distribuídos. (Carga horária: 180h). , Universidade Estadual de Campinas, UNICAMP, Brasil.

2002 - 2002

Biologia Computacional. (Carga horária: 180h). , Universidade Estadual de Campinas, UNICAMP, Brasil.

2001 - 2001

Tópicos Em Otimização Combinatória. (Carga horária: 180h). , Universidade Estadual de Campinas, UNICAMP, Brasil.

Idiomas

Inglê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: 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.

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

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada/Especialidade: Matemática Discreta e Combinatória.

Participação em bancas

Aluno: Alexandre de Castro

Domingos Alves;SENDIN, Ivan da Silva; Fernando Fagundes Ferreira; Sidineia Barrozo. Modelagem Dinâmica do Sistema Imunológico para Estudar a Influência de Anticorpos e da mutação viral na memória imunolgica. 2015. Tese (Doutorado em Ciências Médicas e Biológicas) - Universidade Federal de São Paulo.

Orientou

Luan Mundim

Avaliação de ataques em dispositivos IPv6 usando honeypots; Início: 2022; Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia; (Coorientador);

Um estudo sobre a sguranca de chaves de criptomoedas

Um estudo sobre a sguranca de chaves de criptomoedas; Início: 2024 - Universidade Federal de Uberlândia; (Orientador);

Eduardo Medeiros

Um método não paramétrico para identificação de anomalias na mineração do Bitcoin; 2023; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Uberlândia; Orientador: Ivan da Silva Sendin;

Pedro H

Resende Ribeiro; Desenvolvimento de uma ferramenta baseada em OSINT para forense de Bitcoin; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Uberlândia; Orientador: Ivan da Silva Sendin;

Leonardo G Marques

Aplicações Criptográficas para Curvas Elípticas; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Goiás; Orientador: Ivan da Silva Sendin;

Marcos Luis Bueno

Forense Digital; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Goiás; Orientador: Ivan da Silva Sendin;

Elias Gabriel de Araujo

Análise e implementação de sistemas de detecção de invasão; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Goiás; Orientador: Ivan da Silva Sendin;

Nubia Rosa da Silva

Métodos para Alinhamento de Estrutura de Proteínas; 2006; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Goias/ Campus Catalão; Orientador: Ivan da Silva Sendin;

Dayane dos Santos

Procura de Genes; 2005; 60 f; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Goiás; Orientador: Ivan da Silva Sendin;

Pedro Leale

Desenvolvimento de uma estrutura de dados híbrida com aplicações em forense de Bitcoin; 2023; Iniciação Científica - Universidade Federal de Uberlândia; Orientador: Ivan da Silva Sendin;

Gabriel Rocha Gomes

Privacidade e Anonimato com Criptomoedas; 2020; Iniciação Científica - Universidade Federal de Uberlândia; Orientador: Ivan da Silva Sendin;

Produções bibliográficas

RIBEIRO, PEDRO HENRIQUE RESENDE ; LEALE, PEDRO ; SENDIN, Ivan da Silva . A Proposal for an Open-Source Bitcoin Forensics Tool. International Journal on Cybernetics & Informatics , v. 12, p. 173-178, 2023.
Bueno, M.L.P ; SENDIN, Ivan da Silva . Análise de Ferramentas de Forense Computacional.. CEPPG Revista (Catalão) , v. 15, p. 119-134, 2006.
DA SILVA SENDIN, IVAN ; SANCHES MIANI, RODRIGO . Towards reliable and transparent vaccine phase III trials with smart contracts. In: 2021 IEEE International Conference on OmniLayer Intelligent Systems (COINS), 2021, Barcelona. 2021 IEEE International Conference on Omni-Layer Intelligent Systems (COINS), 2021. p. 1.
Matheus Cunha Reis ; SENDIN, Ivan da Silva . Towards to fair trade with item validation using Bloom Filters and Smart Contracts. In: SBSeg, 2020, Petropolis. Anais do XX Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais.
SENDIN, Ivan da Silva . On Detecting Cold Storage Transactions on Bitcoin's Blockchain. In: Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg), 2018, Natal. Anais do Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg), 2018. p. 155-166.
SENDIN, Ivan da Silva ; LOPES, K. R. ; ELEUTERIO, L. S. . Um ambiente de programação em blocos para Minecraft. In: Facom TechWeek, 2017, Uberlandia. Anais da IV FACOM Techweek, 2017.
SENDIN, Ivan da Silva ; JUNIIOR, M. A. F. ; LIMA, V. S. . Vida Artificial: do aleatório ao específico. In: IV FACOM Techweek, 2017, Uberlnadia. Anais da IV FACOM Techweek, 2017.
SENDIN, Ivan da Silva ; BATISTA, M. A. ; QUEIROZ, T. . Bayesian Triangle Smoothing. In: Uncertainties 2016 - 3rd International Symposium on Uncertainty Quantification and Stochastic Modeling, 2016, São Sebastião. Uncertainties 2016, 2016.
SENDIN, Ivan da Silva ; BATISTA, M. A. ; Indiara do Vale . An Improved Stochastic Proximity Embedding to Protein Structure Determination. In: BioComp 2015, 2015, Las Vegas. BioComp 2015, 2016.
SENDIN, Ivan da Silva ; BATISTA, M. A. ; QUEIROZ, T. . Bound Smoothing with a Biased Random-Key Genetic Algorithm. In: The 2015 International Conference on Artificial Intelligence, 2015, Las Vegas. The 2015 International Conference on Artificial Intelligence, 2015.
SENDIN, Ivan da Silva ; GOLDENSTEIN, S. ; LAVOR, C. . Protein Structure Reconstruction with Data Uncertainties. In: Uncertainties, 2012, Maresias/SP. Proceedings of the 1st International Symposium on Uncertainty Quantification and Stochastic Modeling (Uncertainties 2012), 2012. p. 38-43.
SENDIN, Ivan da Silva ; MARQUES, Leonardo G . Fatoração de Inteiros: da Força Bruta Clássica à Força Bruta Quântica. In: SIMPÓSIO DE MATEMÁTICA - XVII JORNADA DE MATEMÁTICA DE CATALÃO, 2007, Catalão. Anais do SIMPÓSIO DE MATEMÁTICA - XVII JORNADA DE MATEMÁTICA DE CATALÃO,, 2007.
Núbia Rosa da Silva ; SENDIN, Ivan da Silva ; BATISTA, M. A. . Pontuação de Alinhamento de Proteínas Baseado na Raiz Média Quadrada. In: XVI Jornada de Matemática de Catalão, 2006, Catalão. XVI Jornada de Matemática de Catalão, 2006.
MARQUES, Leonardo G ; SENDIN, Ivan da Silva . Introdução à Criptografia com Curvas Elípticas. In: Simpósio de Matemática -- XVI Jornada da Matemática de Catalão, 2006, Catalão. Simpósio de Matemática -- XVI Jornada da Matemática de Catalão, 2006.
Núbia Rosa da Silva ; SENDIN, Ivan da Silva ; BATISTA, M. A. . Métodos de Avaliação do Grau de Similaridade entre Seqüências Primárias de Proteínas. In: I Semana Acadêmica de Ciência da Computação da Universidade Federal do Tocantins, 2006, Palmas. I Semana Acadêmica de Ciência da Computação da Universidade Federal do Tocantins, 2006.
BULHÕES, LUIS BENITO SANCHES ; SENDIN, IVAN ; MIANI, RODRIGO SANCHES . Transações OP_RETURN: uma oportunidade de análise forense. In: Anais Estendidos do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, 2021, Brasil. Anais Estendidos do XXI Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg Estendido 2021). p. 232.
Silva, Bianca ; SENDIN, Ivan da Silva . Smart Contracts como uma plataforma para computação segura. In: XX Simpósio Brasileiro de Segurança da Informação e Sistemas Computacionais, 2020, Petropolis. Anais do XX Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais, 2020.
SENDIN, Ivan da Silva ; GOLDENSTEIN, S. . Proteins Structure Determination with Imprecise Distances. In: WORKSHOP ON DISTANCE GEOMETRY AND APPLICATIONS 2013, 2013, Manaus,Am. WORKSHOP ON DISTANCE GEOMETRY AND APPLICATIONS, 2013.
SENDIN, Ivan da Silva ; MARQUES, Leonardo G . Ciframento com Curvas Elípticas. In: VII Encontro Regional de Matemática Aplicada e Computacional, 2007, Uberlândia. Anais do VII Encontro Regional de Matemática Aplicada e Computacional, 2007.
FRANKLIN, Dino C ; SENDIN, Ivan da Silva . Analysis of Structure Prediction Tools in Mutated MeCP-2. In: Brazilian Symposium on Bioinformatics, 2005, São Leopoldo. Advances in Bioinformatics and Computational Biology. São Leopoldo/RS: Springer, 2005. v. 3594. p. 218-221.
SENDIN, Ivan da Silva ; BATISTA, M. A. ; Indiara do Vale . An Improved Stochastic Proximity Embedding to Protein Structure Determination. 2015. (Apresentação de Trabalho/Conferência ou palestra).
SENDIN, Ivan da Silva ; Núbia Rosa da Silva . Pontuação de Alinhamento de Proteínas baseado na raíz média quadrada. 2006. (Apresentação de Trabalho/Outra).

Outras produções

SENDIN, Ivan da Silva . Revisão de artigo para Revista IEEE Transactions on Network and Service Management. 2020.

SENDIN, Ivan da Silva ; MARQUES, Leonardo G . Introdução a Criptografia com Curvas Elípticas. 2006. (Curso de curta duração ministrado/Outra).

Projetos de pesquisa

2008 - Atual

Simulação de Quântica Proteínas, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Ivan da Silva Sendin - Integrante / Dino C Franklin - Coordenador.
2006 - Atual

Algoritmos para Criptografia de Curvas Elípticas, Descrição: Estudo de criptografia de curvas elípticas: eficiencia dos algoritmos, questões de implementação e segurança.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Ivan da Silva Sendin - Coordenador / Leonardo G Marques - Integrante.
2005 - Atual

Predição de Estrutura de Proteínas, Descrição: Pesquisa de ferramentas, métodos e algoritmos para predição da estrutura tridimensional de preteínas. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Ivan da Silva Sendin - Coordenador / Dino C Franklin - Integrante.

Histórico profissional

Endereço profissional

Universidade Federal de Uberlândia, Centro de Ciências Exatas e Tecnologia, Faculdade de Ciências da Computação. , Avenida João Naves de Ávila, Saraiva, 38408100 - Uberlândia, MG - Brasil, Telefone: (34) 4305, URL da Homepage:

Experiência profissional

2014 - Atual

Universidade Federal de Uberlândia

Vínculo: Servidor Público, Enquadramento Funcional: Professor Nivel Superior, Carga horária: 40, Regime: Dedicação exclusiva.

2001 - 2002

Universidade Estadual de Campinas

Vínculo: Bolsista, Enquadramento Funcional: Pesquisador, Carga horária: 40

Outras informações:
Orientadores Prof. Dr. João Carlos Setubal e Prof. Dr. João W. Kitajima

Atividades

01/2001 - 11/2002
Outras atividades técnico-científicas , Laboratorio de Bioinformatica, Laboratorio de Bioinformatica.Atividade realizada, Pesquisa em Bioinformatica.

2004 - 2014

Universidade Federal de Goiás

Vínculo: , Enquadramento Funcional: Professor Nivel Superior, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

03/2013 - 07/2013
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Teoria da Computação, Análise e Projeto de Algoritmos, Desenvolvimento de Software(eletiva)
08/2012 - 02/2013
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Teoria da Computação, Programação Lógica e Funcional
02/2008 - 06/2008
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Algoritmos e Programação de Computadores, Teoria dos Grafos
07/2007 - 12/2007
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Análise e Projetos de Algoritmos, Teoria da Computação
02/2007 - 06/2007
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Matemática Discreta, Projeto Final de Curso 1, Projeto Final de Curso 2
07/2006 - 12/2006
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Projeto Final de Curso 1, Projeto Final de Curso 2, Tópicos 1
02/2006 - 06/2006
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Matemática Discreta, Teoria da Computação, Teoria dos Grafos
08/2005 - 12/2005
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Análise e Projetos de Algoritmos, Teoria da Computação
03/2005 - 06/2005
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Tópicos 1 (Bioinformática)
01/2005 - 02/2005
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Teoria dos Grafos
08/2004 - 12/2004
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Análise e Proj. de Algoritmos, Teoria da Computação

2002 - 2004

Alellyx Applied Genomics

Vínculo: Funcionario Contratado, Enquadramento Funcional: , Carga horária: 40

Atividades

11/2002 - 02/2004
Pesquisa e desenvolvimento, Alellyx Applied Genomics.Linhas de pesquisa

1999 - 2000

Reckon Engenharia de Sistemas

Vínculo: Celetista, Enquadramento Funcional: , Carga horária: 0

1999 - 1999

Reckon Engenharia de Sistemas

Vínculo: Estagio, Enquadramento Funcional: , Carga horária: 0

Atividades

03/1999 - 11/2000
Serviços técnicos especializados , Reckon Engenharia de Sistemas.Serviço realizado, Desenvolvimento de Sistemas.

2004 - 2004

Universidade de Rio Verde

Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 40

Atividades

03/2004 - 07/2004
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Estrutura de Dados, Organização e Arquitetura de Computadores, Auditoria e Segurança