Alberto Alexandre Assis Miranda

Possui graduação em Ciência da Computação pela Universidade Estadual de Campinas (2003), mestrado em Ciência da Computação pela Universidade Estadual de Campinas (2006) e doutorado em Ciência da Computação pela Universidade Estadual de Campinas (2009, defendida aos 27 anos), sendo que sua tese de doutorado ganhou o terceiro lugar no Concurso de Teses e Dissertações (CTD 2010) da Sociedade Brasileira de Computação (SBC). Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação, atuando principalmente nos seguintes temas: Teoria dos Grafos, Análise de Algoritmos e Complexidade de Computação, Matemática Discreta e Combinatória, Grafos Pfaffianos, Grafos Cobertos por Emparelhamentos, e Criptografia. Também se interessa em participar e treinar times para participarem de competições de programação, tendo ganhado o primeiro lugar na Maratona de Programação Brasileira em 2004 como competidor, e obtido o segundo lugar em 2003. Trabalhou por dois anos (2010 - 2012) na empresa Google, tendo submetido uma aplicação de patente, sendo o único inventor dela, durante esse período, patente esta que foi concedida em 2015. De 2012 a 2014 lecionou disciplinas da área de computação, treinou alunos para a Maratona de Programação e OBI e orientou alunos nas instituições Unimontes (Universidade Estadual de Montes Claros) e Facit (Faculdade de Ciência e Tecnologia de Montes Claros), onde orientou iniciações científicas com bolsas da Fapemig, e orientou trabalhos de conclusão de curso. Obteve bolsas como coordenador de projetos para treinamento de alunos para a competições de programação em ambas as instituições citadas (15 bolsas no total). Em 2013, enviou como coordenador à Capes proposta de criação de um Mestrado Profissional (stricto sensu) em Modelagem Computacional e Sistemas na Unimontes. Esta proposta recebeu conceito 3 da Capes (recomendado) em dezembro de 2013. Em 2014, classificou-se em primeiro lugar no concurso para Professor Doutor do Instituto de Computação da Unicamp. Atualmente é Professor no IFNMG - Instituto Federal do Norte de Minas Gerais.

Informações coletadas do Lattes em 22/05/2026

Acadêmico

Formação acadêmica

Doutorado em Ciência da Computação

2006 - 2009

Universidade Estadual de Campinas
Título: Grafos Pfaffianos e Problemas Relacionados
Cláudio Leonardo Lucchesi. Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: Emparelhamentos; Grafos; Grafos Cobertos por Emparelhamentos.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Matemática Discreta e Combinatória.

Mestrado em Ciência da Computação

2004 - 2006

Universidade Estadual de Campinas
Título: Orientações Pfaffianas e o Furtivo Grafo de Heawood,Ano de Obtenção: 2006
Cláudio Leonardo Lucchesi.Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: Grafos; Emparelhamentos.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Matemática Discreta e Combinatória.

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

2000 - 2003

Universidade Estadual de Campinas

Idiomas

Inglês

Compreende Bem, Fala Bem, 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 / 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: Análise de Algoritmos e Complexidade 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.

Organização de eventos

ANIDO, R. ; MOREIRA, F. D. ; LUCCHESI, C. L. ; MENDERICO, R. ; MIRANDA, A. A. A. ; RIBAS, R. . Maratona de Programação, Preparação da Prova. 2010. .

Participação em eventos

São Paulo School of Advanced Science on Algorithms, Combinatorics and Optimization.Pfaffian Graphs. 2016. (Outra).

CTD Concurso de Teses e Dissertações da SBC Sociedade Brasileira de Computação. Grafos Pfaffianos e Problemas Relacionados. 2010. (Congresso).

LAGOS 09 - V Latin-American Algorithms, Graphs and Optimization Symposium.On the Pfaffian Number of Graphs. 2009. (Simpósio).

V Workshop de Teses de Doutorado em Andamento.Grafos Pfaffianos e Problemas Relacionados. 2009. (Seminário).

International Collegiate Programming Contest World Finals. Coach of a Team (técnico de um time). 2008. (Olimpíada).

IV Workshop de Teses de Doutorado em Andamento.Grafos Pfaffianos e Problemas Relacionados. 2008. (Seminário).

III Workshop de Teses de Doutorado em Andamento.Grafos Pfaffianos e Problemas Relacionados. 2007. (Seminário).

Lagos 2007: IV Latin-American Algorithms, Graphs and Optimization Symposium.A Polynomial Time Algorithm for Recognizing Near-Bipartite Pfaffian Graphs. 2007. (Simpósio).

Workshop em Fundamentos da Ciência da Computação. 2007. (Oficina).

XXVII Congresso da Sociedade Brasileira de Computação - XX Concurso de Teses e Dissertações CTD 2007. Orientações Pfaffianas e o Furtivo Grafo de Heawood. 2007. (Congresso).

19th International Symposium on Mathematical Programming. 2006. (Simpósio).

I Workshop em Teoria dos Grafos de Mato Grosso do Sul.Orientações Pfaffianas e o Furtivo Grafo de Heawood. 2006. (Oficina).

Graco 2005. 2005. (Simpósio).

International Collegiate Programming Contest - ICPC - ACM. 2005. (Outra).

Fórum DNA Brasil. 2004. (Encontro).

International Collegiate Programming Contest - ICPC World Finals.Competidor. 2004. (Outra).

UPA 2003 Unicamp de Portas Abertas. Criptografia. 2003. (Exposição).

Workshop on Cryptographic Algortihms and Protocols. 2003. (Oficina).

Computação e Mercado. 2001. (Congresso).

Simpósio em Segurança da Informação. 2001. (Simpósio).

Olimpíada Paulista de Matemática "Prof. Shigueo Watanabe". Competidor, medalha de bronze modalidade 16 anos.. 1998. (Olimpíada).

Participação em bancas

Aluno: André Breda Carneiro

Miranda, Alberto Alexandre Assis; SILVA, C. N.; GUIMARA. Identificação dos Snarks Fluxo-Críticos de Ordem Pequena. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de São Carlos.

Aluno: Gabriell Henrique Rodrigues do Nascimento

LACERDA, A. S. M.; Veloso, R. R.;MIRANDA, A. A. A.. Análise Comparativa entre MySQL e MariaDB em ambiente de alta disponibilidade. 2013. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Estadual de Montes Claros.

Aluno: Samuel Bruno Aguiar Rodrigues

OLIVEIRA, H. R.;MIRANDA, A. A. A.. Sistema de recomendações de produtos utilizando o algoritmo do vizinho mais próximo. 2012. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Fundação Educacional Montes Claros.

Aluno: Felipe Túlio de Castro

CARNEIRO NETO, J.;MIRANDA, A. A. A.. Desenvolvimento de uma aplicação móvel baseada na plataforma android para o controle de sistemas de irrigação. 2012. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Fundação Educacional Montes Claros.

Aluno: Davidson Geraldo de Souza Maria

OLIVEIRA, H. R.;MIRANDA, A. A. A.. Estudo de ferramentas na nuvem para coleta de dados de sensores e teste de funcionamento na integração com sistema embarcado. 2012. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Fundação Educacional Montes Claros.

Miranda, Alberto Alexandre Assis; XAVIER, E. C.; SANTOS, V. F.. Banca da Prova Dissertativa do Concurso para Professor EBTT IFNMG. 2016. Instituto Federal de Educação Ciência e Tecnologia do Norte de Minas Gerais.

Miranda, Alberto Alexandre Assis; MENDES, J. B.; ANTUNES, F. C. C.. Banca da Prova Didática de Concurso para Professor de Ensino Superior da Unimontes. 2015. Universidade Estadual de Montes Claros.

Miranda, Alberto Alexandre Assis; ALVARES, A. R.; PEREIRA JUNIOR, A. R.. Banca da Prova Dissertativa do Concurso para Professor EBTT Do IFNMG. 2015. Instituto Federal de Educação Ciência e Tecnologia do Norte de Minas Gerais.

ANTUNES, F. C. C.; MENDES, J. B.;Miranda, Alberto Alexandre Assis. Banca Prova e Conhecimentos para Professor de Educação Superior Unimontes. 2014. Universidade Estadual de Montes Claros.

Orientou

Lucas Santos Ribeiro

Algoritmos para Emparelhamentos Máximos e Cortes Justos Não Triviais; Início: 2017; Iniciação científica (Graduando em Ciência da Computação) - Instituto Federal de Educação Ciência e Tecnologia do Norte de Minas Gerais; (Orientador);

Wadson Barbosa Ayres Pereira

Algoritmos para Emparelhamentos Máximos e Cortes Justos Não Triviais; Início: 2017 - Instituto Federal de Educação Ciência e Tecnologia do Norte de Minas Gerais; (Orientador);

Marina Martins Teixeira

Problema do Zoneamento para Prevenção e Controle da Dengue; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Instituto Federal de Educação Ciência e Tecnologia do Norte de Minas Gerais; Orientador: Alberto Alexandre Assis Miranda;

Keisse Caroline Lopes Brandão

Problema de Alocação de Disciplina; 2013; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Fundação Educacional Montes Claros; Orientador: Alberto Alexandre Assis Miranda;

Diego Duarte Reis

Programação paralela em GPU de hashes criptográficos; 2013; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Fundação Educacional Montes Claros; Orientador: Alberto Alexandre Assis Miranda;

Keisse Caroline Lopes Brandão

Geração Automática do Quadro de Horários de uma Instituição de Ensino Superior, Utilizando Programação Linear Inteira; 2013; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Fundação Educacional Montes Claros; Orientador: Alberto Alexandre Assis Miranda;

Diego Duarte Reis

Comparação de Desempenho de Hash Criptográfico utilizando Processamento Paralelo em GPU; 2013; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Fundação Educacional Montes Claros; Orientador: Alberto Alexandre Assis Miranda;

Ellen Daiany Pereira dos Santos

Comparação de Desempenho de Cifras Simétricas utilizando Processamento Paralelo; 2013; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Fundação Educacional Montes Claros; Orientador: Alberto Alexandre Assis Miranda;

Ellen Dayane Pereira dos Santos

Implementação de Criptografia por Autômatos Celulares utilizando Paralelismo; 2013; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Fundação Educacional Montes Claros; Orientador: Alberto Alexandre Assis Miranda;

Diego de Melo Costa

Aplicação de Paralelismo na Busca de Grafos Relevantes para a Teoria dos Grafos; 2014; Iniciação Científica; (Graduando em Engenharia de Computação) - Fundação Educacional Montes Claros, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Alberto Alexandre Assis Miranda;

Ícaro Lanzarini

Busca de exemplos de Grafos k-Pfaffianos; 2014; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade Estadual de Montes Claros, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Alberto Alexandre Assis Miranda;

Vinícius Silva Barbosa

Problema de Alocação de Disciplina; 2013; Iniciação Científica; (Graduando em Engenharia de Controle e Automação) - Fundação Educacional Montes Claros, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Alberto Alexandre Assis Miranda;

Marla Núbia Santos Magalhães

Keisse Caroline Lopes Brandão

Problema de Alocação de Disciplina; 2013; Iniciação Científica; (Graduando em Engenharia de Computação) - Fundação Educacional Montes Claros; Orientador: Alberto Alexandre Assis Miranda;

Pedro Juliano Pumarega Silva

Treinamento para OBI; 2016; Orientação de outra natureza - Instituto Federal de Educação Ciência e Tecnologia do Norte de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Alberto Alexandre Assis Miranda;

Thalisson Muniz Pinheiro

Monitor de Treinamento para OBI; 2016; Orientação de outra natureza - Instituto Federal de Educação Ciência e Tecnologia do Norte de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Alberto Alexandre Assis Miranda;

André Filipe Nunes Silva Mendes

Treinamento para OBI; 2015; Orientação de outra natureza - Instituto Federal de Educação Ciência e Tecnologia do Norte de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Alberto Alexandre Assis Miranda;

Emanuel Crispim Vasconcelos

Iago Wesley Nogueira Cordeiro

Monitor de Treinamento para OBI; 2015; Orientação de outra natureza; (Ciência da Computação) - Instituto Federal de Educação Ciência e Tecnologia do Norte de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Alberto Alexandre Assis Miranda;

Mattheus Mazzillio Santos Silva

Pedro Henrique Silva Rodrigues

Túlio Ribeiro Torres

Vânia Cristina Santos

Treinamento de Meninas para Competições de Programação; 2014; Orientação de outra natureza; (Engenharia de Computação) - Fundação Educacional Montes Claros, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Alberto Alexandre Assis Miranda;

Elisa Maria Alves Amaral

Treinamento de Meninas para Competições de Programação; 2014; Orientação de outra natureza; (Ensino Médio) - Fundação Educacional Montes Claros, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Alberto Alexandre Assis Miranda;

Diego de Melo Costa

Treinamento para Competições de Programação; 2013; Orientação de outra natureza; (Engenharia de Controle e Automação) - Fundação Educacional Montes Claros, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Alberto Alexandre Assis Miranda;

Brenda Ellen Gonçalves Dias

Treinamento para Competições de Programação; 2013; Orientação de outra natureza; (Ensino Médio) - Fundação Educacional Montes Claros, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Alberto Alexandre Assis Miranda;

Yuri Victor Ferreira Carvalho

Thalisson Muniz Pinheiro

Miguel Felipe Mota Soares Ribeiro

Treinamento para Competições de Programação; 2013; Orientação de outra natureza; (Ensino Médio) - Fundação Educacional Montes Claros; Orientador: Alberto Alexandre Assis Miranda;

Dávila Patricia Ferreira Cruz

Treinamento para Competições de Programação; 2013; Orientação de outra natureza; (Engenharia de Computação) - Fundação Educacional Montes Claros, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Alberto Alexandre Assis Miranda;

Alexandre Dantas Dias

Treinamento para Competições de Programação; 2013; Orientação de outra natureza - Fundação Educacional Montes Claros, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Alberto Alexandre Assis Miranda;

Produções bibliográficas

Miranda, Alberto Alexandre Assis ; Lucchesi, Cláudio Leonardo . Matching signatures and Pfaffian graphs. Discrete Mathematics , v. 311, p. 289-294, 2011.
Miranda, Alberto Alexandre Assis ; Lucchesi, Cláudio Leonardo . Recognizing near-bipartite Pfaffian graphs in polynomial time. Discrete Applied Mathematics , v. 158, p. 1275-1278, 2010.
Miranda, Alberto Alexandre Assis ; Lucchesi, Cláudio Leonardo . On the Pfaffian Number of Graphs. Electronic Notes in Discrete Mathematics , v. 35, p. 145-150, 2009.
Miranda, Alberto Alexandre Assis ; Lucchesi, Cláudio Leonardo . A Polynomial Time Algorithm for Recognizing Near-Bipartite Pfaffian Graphs. Electronic Notes in Discrete Mathematics , v. 30, p. 171-176, 2008.

Outras produções

MIRANDA, A. A. A. ; DAHAB, R. . Criptografia de Curvas Elípticas sobre Corpos Finitos Quasiquer. 2003.

MIRANDA, A. A. A. . Otimização. 2013. (Curso de curta duração ministrado/Especialização).

Projetos de pesquisa

2014 - Atual

Grafos Pfaffianos e K-Pfaffianos, Descrição: Pesquisa sobre Grafos Cobertos por Emparelhamentos, Grafos Pfaffianos, Grafos k-Pfaffianos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Alberto Alexandre Assis Miranda - Coordenador.
2013 - 2014

Criptografia Eficiente, Descrição: Pesquisa sobre métodos de implementação eficiente de primitivas criptográficas. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Alberto Alexandre Assis Miranda - Coordenador., Número de orientações: 2
2013 - 2014

Otimização, Descrição: Pesquisa sobre aplicação de técnicas de Otimização Combinatória para resolução de problemas práticos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) . , Integrantes: Alberto Alexandre Assis Miranda - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa.Número de orientações: 3
2013 - 2014

Teoria dos Grafos, Descrição: Pesquisa sobre propriedades de Grafos Pfaffianos e Teoria de Emparelhamentos. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Alberto Alexandre Assis Miranda - Coordenador.
2006 - 2009

Doutorado: Grafos Pfaffianos e Problemas Relacionados, Projeto certificado pelo(a) coordenador(a) Cláudio Leonardo Lucchesi em 07/10/2013., Descrição: Pesquisa sobre grafos Pfaffianos, uma classe na qual o problema #P-completo para grafos em geral de contagem de emparelhamento perfeitos é polinomial. Nesta pesquisa, obteve-se um algoritmo polinomial para reconhecimento de grafos quase-bipartidos Pfaffianos, uma caracterização de grafos meio-bipartidos Pfaffianos (meio-bipartidos é generalização de quase-bipartidos), um método inovador de geração de grafos k-Pfaffianos a partir de grafos Pfaffianos que gerou um exemplo de grafo 6-Pfaffiano que não é 5-Pfaffiano, algo que quebrou uma conjectura de Norine de que o número Pfaffiano de grafos é sempre uma potência de 4.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Alberto Alexandre Assis Miranda - Integrante / Cláudio Leonardo Lucchesi - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.
2004 - 2006

Mestrado: Grafos Pfaffianos, Projeto certificado pelo(a) coordenador(a) Cláudio Leonardo Lucchesi em 07/10/2013., Descrição: Pesquisa sobre Grafos Pfaffianos. Nesta pesquisa, obteve-se uma prova alternativa para a corretude de um algoritmo polinomial para reconhecimento de grafos Pfaffianos, e outros resultados.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Alberto Alexandre Assis Miranda - Integrante / Cláudio Leonardo Lucchesi - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa., Número de produções C, T & A: 4
2003 - 2003

Iniciação Científica: Parâmetros Seguros para Criptografia de Curvas Elípticas, Descrição: Pesquisa sobre quais são escolhas boas para corpos finitos e curvas elípticas em um criptossistema. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Alberto Alexandre Assis Miranda - Coordenador / Ricardo Dahab - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2002 - 2003

Iniciação Científica: Aritmética de Corpos Finitos Otimizada para Criptografia de Curvas Elípticas, Descrição: Pesquisa sobre métodos mais eficientes para implementação de Aritmética de Corpos Finitos otimizada para Criptografia de Curvas Elípticas. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Alberto Alexandre Assis Miranda - Integrante / Ricardo Dahab - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 1

Prêmios

2010

Terceira melhor tese de doutorado no CTD (Concurso de Teses e Dissertações) 2010, SBC -- Sociedade Brasileira de Computação.

2009

Nono lugar na Maratona de Programação Brasileira, fase da ICPC, como coach, SBC & ACM & IBM.

2009

Sexto lugar na Maratona de Programação Brasileira, fase da ICPC, como coach, SBC & ACM & IBM.

2008

Honorable Mention on the International Collegiate Programming Contest World Finals as coach, ACM - Association for Computing Machinery & IBM.

2008

Oitavo lugar na Maratona de Programação Brasileira, fase da ICPC, como coach, SBC & ACM - Association for Computing Machinery & IBM.

2008

Décimo lugar na Maratona de Programação Brasileira, fase da ICPC, como coach, SBC & ACM - Association for Computing Machinery & IBM.

2007

Quarto lugar na Maratona de Programação Brasileira, fase da ICPC, como coach, SBC & ACM - Association for Computing Machinery & IBM.

2007

Nono lugar na Maratona de Programação Brasileira, fase da ICPC, como coach, SBC & ACM - Association for Computing Machinery & IBM.

2005

Honorable Mention on the International Collegiate Programming Contest World Finals as coach, ACM - Association for Computing Machinery & IBM.

2004

Campeão da Regional Sul-Americana da Maratona de Programação - ICPC, Association for Computer Machinery - ACM.

2004

Honorable Mention on the International Collegiate Programming Contest World Finals, ACM - Association for Computing Machinery & IBM.

2003

Segundo Colocado na Regional Sul Americana da Maratona de Programação - ICPC, Association for Computing Machinery- ACM.

2002

Sétimo Colocado na Regional Sul Americana da Maratona de Programação - ICPC, Association for Computer Machinery - ACM.

1998

Medalha de Bronze na XXII Olimpíada Paulista de Matemática "Prof. Shigueo Watanabe", .

Histórico profissional

Endereço profissional

Instituto Federal de Educação Ciência e Tecnologia do Norte de Minas Gerais, Instituto Federal do Norte de Minas Gerais Câmpus Montes Claros. , Rua Dois, Village do Lago I, 39404058 - Montes Claros, MG - Brasil, Telefone: (38) 21034132

Experiência profissional

2014 - Atual

Instituto Federal de Educação Ciência e Tecnologia do Norte de Minas Gerais

Vínculo: Servidor Público, Enquadramento Funcional: Professor do Ensino Básico Técnico e Tecnológ, Carga horária: 40, Regime: Dedicação exclusiva.

2016 - 2018

Instituto Federal de Educação Ciência e Tecnologia do Norte de Minas Gerais

Vínculo: Servidor Público, Enquadramento Funcional: Coordenador de curso de Graduação, Carga horária: 20

Atividades

06/2017
Pesquisa e desenvolvimento , Instituto Federal do Norte de Minas Gerais Câmpus Montes Claros, .,Linhas de pesquisa
04/2016
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estruturas de Dados 3, Compiladores, Projeto e Análise de Algoritmos 2
01/2015
Pesquisa e desenvolvimento , Instituto Federal do Norte de Minas Gerais Câmpus Montes Claros, .,Linhas de pesquisa
08/2016 - 01/2018
Direção e administração, Instituto Federal do Norte de Minas Gerais Câmpus Montes Claros, .,Cargo ou função, Coordenação do Curso de Bacharelado em Ciência da Computação.
08/2015 - 03/2016
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Matemática Discreta, Projeto e Análise de Algoritmos 1, Laboratório de Projeto e Análise de Algoritmos 1, Pesquisa Operacional
02/2015 - 07/2015
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Programação de Computadores em Rede, Linguagens Formais e Autômatos, Algoritmos e Estruturas de Dados 3, Desafios de Programação
08/2014 - 12/2014
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Projeto e Análise de Algoritmos, Matemática Discreta

2013 - 2014

Universidade Estadual de Montes Claros

Vínculo: , Enquadramento Funcional: Coordenador do Mestrado Profissional, Carga horária: 0

Outras informações:
Coordenador da proposta de criação de um Mestrado Profissional em Modelagem Computacional e Sistemas, enviado à Capes no início de 2013, que recebeu o conceito 3 da Capes em Dezembro de 2013.

2012 - 2014

Universidade Estadual de Montes Claros

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

Atividades

02/2014 - 07/2014
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Grafos Computacionais, Teoria da Computação
02/2014 - 07/2014
Ensino, Engenharia de Sistemas, Nível: Graduação,Disciplinas ministradas, Projeto Assistido por Computador
07/2013 - 07/2014
Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de CIência da Computação.,Linhas de pesquisa
08/2012 - 07/2014
Treinamentos ministrados , Instituto de Ciências Exatas, Departamento de CIência da Computação.,Treinamentos ministrados, Treinamento para a Maratona de Programação
07/2013 - 12/2013
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Grafos Computacionais, Matemática Computacional, Teoria da Computação
02/2013 - 07/2013
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Programação 2, Teoria da Computação
02/2013 - 07/2013
Ensino, Engenharia de Sistemas, Nível: Graduação,Disciplinas ministradas, Projeto Assistido por Computador
05/2013 - 06/2013
Ensino, Especialização em Engenharia de Sistemas, Nível: Especialização,Disciplinas ministradas, Otimização
09/2012 - 12/2012
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Teoria da Computação, Programação 2, Banco de Dados

2012 - 2014

Fundação Educacional Montes Claros

Vínculo: Celetista formal, Enquadramento Funcional: Professor Doutor, Carga horária: 12

Atividades

07/2013 - 07/2014
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Compiladores, Otimização, Treinamento para Competições de Programação
02/2013 - 07/2014
Pesquisa e desenvolvimento , Faculdade de Ciência e Tecnologia de Montes Claros, .,Linhas de pesquisa
07/2013 - 01/2014
Ensino, Engenharia de Controle e Automação, Nível: Graduação,Disciplinas ministradas, Otimização
02/2013 - 07/2013
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Análise Numérica, Autômata e Linguagens Formais, Otimização
02/2013 - 07/2013
Ensino, Engenharia de Controle e Automação, Nível: Graduação,Disciplinas ministradas, Análise Numérica, Otimização
08/2012 - 12/2012
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Arquitetura e Organização de Computadores, Multimídia, Compiladores, Análise, Projeto e Programação Orientados a Objetos

2010 - 2012

Google Brasil Internet

Vínculo: Celetista formal, Enquadramento Funcional: Engenheiro de Software, Carga horária: 40, Regime: Dedicação exclusiva.

2008 - 2008

Universidade Estadual de Campinas

Vínculo: Bolsista PED B, Enquadramento Funcional: Bolsista PED B, Carga horária: 8

Outras informações:
Função: professor da disciplina "Algoritmos e Programação de Computadores" (MC102). A função incluiu preparar e dar as aulas, preparar, aplicar, corrigir provas e avaliar os alunos.

2004 - 2004

Universidade Estadual de Campinas

Vínculo: Bolsista PED 2, Enquadramento Funcional: Bolsista PED 2, Carga horária: 8

Outras informações:
Função: auxiliar o professor durante as aulas de laboratório, tirando dúvidas e orientando os alunos nas atividades de programação; criação e correção de exercícios de programação. Esta função foi desempenhada para disciplina: Introdução a Programação de Computadores (MC102)

2002 - 2004

Universidade Estadual de Campinas

Vínculo: Bolsista Iniciacao Cientifica, Enquadramento Funcional: Bolsista PIBIC (Iniciacao Cientifica), Carga horária: 20

Outras informações:
Foram desenvolvidos dois projetos: Aritmética de Corpos Finitos Otimizada para Criptografia de Curvas Elípticas de 07/2002 a 06/2003; e Parâmetros Seguros para Criptografia de Curvas Elípticas de 07/2003 a 02/2004.

2002 - 2002

Universidade Estadual de Campinas

Vínculo: Bolsista PAD, Enquadramento Funcional: Bolsista PAD (Programa de Auxiliar Didatico), Carga horária: 8

Outras informações:
Função: auxiliar na criação e correção de exercícios de programação para a disciplina "Introdução ao Processamento de Dados" (MC111).

2001 - 2001

Universidade Estadual de Campinas

Vínculo: Bolsista PAD, Enquadramento Funcional: Bolsista PAD (Programa de Auxiliar Didatico), Carga horária: 8

Outras informações:
Função: dar "plantão de dúvidas", horário em que fica-se disponível para os alunos tirarem dúvidas sobre a disciplina. Função foi desempenhada na disciplina "Geometria Analítica e Vetores" (MA141).

2001 - 2001

Universidade Estadual de Campinas

Vínculo: Bolsista PAD, Enquadramento Funcional: Bolsista PAD (Programa de Auxiliar Didatico), Carga horária: 8

Outras informações:
Função: auxiliar o professor durante as aulas de laboratório de programação, tirando dúvidas dos alunos; auxiliar no preparo, correção e avaliação das atividades de programação. Função foi exercida na disciplina "Estrutura de Dados" (MC202).

Atividades

06/2007 - 04/2010
Treinamentos ministrados , Instituto de Computação, .,Treinamentos ministrados, Técnico dos times da Maratona de Programação
03/2004 - 11/2009
Pesquisa e desenvolvimento , Instituto de Computação, .,Linhas de pesquisa
03/2008 - 07/2008
Ensino, Engenharia de Alimentos, Nível: Graduação,Disciplinas ministradas, Algoritmos e Programação de Computadores
08/2004 - 12/2004
Ensino, Estatística, Nível: Graduação,Disciplinas ministradas, Tutoria da disciplina "Algoritmos e Programação de Computadores"
08/2003 - 02/2004
Estágios , Instituto de Computação, .,Estágio realizado, Iniciação Científica "Parâmetros Seguros para Criptografia de Curvas Elípticas" sob orientação do Professor Doutor Ricardo Dahab.
07/2002 - 07/2003
Estágios , Instituto de Computação, .,Estágio realizado, Iniciação científica "Aritmética de Corpos Finitos Otimizada para Criptografia de Curvas Elípticas" sob orientação do Professor Doutor Ricardo Dahab.
03/2002 - 07/2002
Estágios , Instituto de Computação, .,Estágio realizado, Auxiliar Didático da disciplina "Introdução ao Processamento de Dados".
08/2001 - 12/2001
Estágios , Instituto de Computação, .,Estágio realizado, Auxiliar Didático da disciplina "Estrutura de Dados".
03/2001 - 07/2001
Estágios , Instituto de Matemática Estatística e Ciência da Computação, .,Estágio realizado, Auxiliar Didático da disciplina "Geometria Analítica e Vetore".

1999 - 1999

Escolas Fisk Tambaú

Vínculo: Contratado, Enquadramento Funcional: Professor de Inglês, Carga horária: 8