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 25/06/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

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

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Português

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

Seção coletada automaticamente pelo Escavador

Á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.

Seção coletada automaticamente pelo Escavador

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. .

Seção coletada automaticamente pelo Escavador

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).

Seção coletada automaticamente pelo Escavador

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.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Orlando Lee

LUCCHESI, Cláudio L; CARVALHO, Marcelo Henriques de;LEE, O.. Orientações Pfaffianas e o Furtivo Grafo de Heawood. 2006. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Computação - UNICAMP.

Seção coletada automaticamente pelo Escavador

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;

Vinicius 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

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;

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

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;

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

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;

Pedro Henrique Silva Rodrigues

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;

Túlio Ribeiro Torres

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;

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

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

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;

Thalisson Muniz Pinheiro

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;

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 Patrícia 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;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Cláudio Leonardo Lucchesi

Orientações Pfaffianas e o Furtivo Grafo de Heawood; 2006; Dissertação (Mestrado em Mestrado em Ciência da Computação) - Instituto de Computação - UNICAMP, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cláudio Leonardo Lucchesi;

Cláudio Leonardo Lucchesi

Grafos Pfaffianos e Problemas Relacionados; 2009; Tese (Doutorado em Doutorado em Ciência da Computação) - Instituto de Computação - UNICAMP, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Cláudio Leonardo Lucchesi;

Seção coletada automaticamente pelo Escavador

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.

Seção coletada automaticamente pelo Escavador

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).

Seção coletada automaticamente pelo Escavador

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

Seção coletada automaticamente pelo Escavador

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

Seção coletada automaticamente pelo Escavador

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

Seção coletada automaticamente pelo Escavador

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