Álvaro Junio Pereira Franco

Professor Adjunto da Universidade Federal de Santa Catarina desde 2014. Possui o grau de bacharel em Ciência da Computação pela Universidade Federal de Goiás. Concluiu o mestrado e doutorado em Ciência da Computação na Universidade de São Paulo. Participa dos Grupos de Pesquisa Computação Científica e Teoria da Computação, Combinatória e Otimização. Suas pesquisas concentram-se nas áreas de Algoritmos, Otimização e Grafos.

Informações coletadas do Lattes em 24/06/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Ciências da Computação

2009 - 2013

Universidade de São Paulo
Título: Algoritmos para junções em digrafos acíclicos e uma aplicação na Antropologia
Carlos Eduardo Ferreira. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Algoritmos em grafos.Grande área: Ciências Exatas e da Terra

Mestrado em Ciências da Computação

2006 - 2009

Universidade de São Paulo
Título: Consultas de segmentos em janelas: algoritmos e estruturas de dados,Ano de Obtenção: 2009
Carlos Eduardo Ferreira.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Algoritmos; Estruturas de dados; Geometria computacional.Grande área: Ciências Exatas e da Terra

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

2003 - 2006

Universidade Federal de Goiás
Título: Modelagem de protocolos para grades computacionais
Orientador: Marcio Nunes de Miranda
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Graduação interrompida em 2002 em Engenharia da Computação

1999 - Interrompido

Pontifícia Universidade Católica de Goiás
Ano de interrupção: 2002

Seção coletada automaticamente pelo Escavador

Formação complementar

2012 - 2012

Extensão universitária em Introdução à Astronomia e à Astrofísica. (Carga horária: 30h). , Universidade de São Paulo, USP, Brasil.

2012 - 2012

Quantum Mechanics and Quantum Computation. (Carga horária: 60h). , Coursera - University of California, Berkeley, UC - ON-LINE, Estados Unidos.

2009 - 2009

Optimization under Uncertainty. (Carga horária: 40h). , Max-Planck-Institut für Informatik Saarbrücken, MPII, Alemanha.

2009 - 2009

Combinatorial Optimization at Work (ADM III). (Carga horária: 128h). , Technische Universität Berlin, TUBerlin, Alemanha.

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

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

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: Algoritmos em Grafos.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: 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: Otimização Combinatória.

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: Geometria Computacional.

Seção coletada automaticamente pelo Escavador

Organização de eventos

FRANCO, Á. J. P. ; CALEGARI, P. C. ; RAMOS, V. F. C. ; ROSA, M. Z. ; WEBER, T. ; MACHADO, G. M. . XXII Maratona de Programação (primeira fase). 2017. (Concurso).

FRANCO, Á. J. P. . XI Olimpíada Brasileira de Informática. 2009. .

FRANCO, Á. J. P. . Encontro de Tecnologia e Informática - ETI. 2005. (Outro).

Franco, Álvaro Junio Pereira . II Congresso de Pesquisa, Ensino e Extensão. 2005. (Congresso).

FRANCO, Á. J. P. . Festival Latinoamericano de Instalação de Software Livre. 2005. (Festival).

Franco, Álvaro Junio Pereira . I Congresso de Pesquisa, Ensino e Extensão. 2004. (Congresso).

FRANCO, Á. J. P. . XII Olimpíada de Matemática do Estado de Goiás. 2003. .

FRANCO, Á. J. P. . ERMAC 2002. 2002. (Outro).

Seção coletada automaticamente pelo Escavador

Participação em eventos

18th IUAES World Congress. The Kraho Empiric Network: an exercise in modelling. 2018. (Congresso).

International Congress of Mathematicians. 2018. (Congresso).

VI ReACT - Reunião de Antropologia da Ciência e da Tecnologia.O parentesco como uma questão computacional. 2017. (Outra).

22nd International Symposium on Mathematical Programming.From a min-max relation to an algorithm to construct the dominator tree of a reducible flowgraph. 2015. (Simpósio).

VIII Latin-American Algorithms, Graphs, and Optimization Symposium.A min-max relation in flowgraphs. 2015. (Simpósio).

2014 IEEE 10th International Conference on eScience (eScience). A New Kinship Machine: Characteristics, Use, and Perspectives. 2014. (Congresso).

2014 IEEE 10th International Conference on eScience (eScience). Finding Matrimonial Circuits in some Amerindian Kinship Networks: an Experimental Study. 2014. (Congresso).

Workshop em Estruturas Combinatórias, Otimização e Algoritmos. 2013. (Oficina).

International Symposium on Mathematical Programming.A new linear time algorithm to construct dominator trees in reducible flow graphs. 2012. (Simpósio).

Workshop in Bioinformatics and Algorithms. 2012. (Oficina).

VI Latin-American Algorithms, Graphs and Optimization Symposium. 2011. (Simpósio).

V Latin-American Algorithms, Graphs and Optimization Symposium. 2009. (Simpósio).

2008 International Conference on the Analysis of Algorithms. 2008. (Congresso).

58ª Reunião Anual da SBPC. Otimização do desempenho de um protocolo de comunicação para multimídia. 2006. (Congresso).

Encontro de Tecnologia e Informática - ETI. 2005. (Encontro).

Festival Latinoamericano de instalação de Software Livre. 2005. (Outra).

II Congresso de Pesquisa, Ensino e Extensão - II CONPEEX. Metodologia para implementação otimizada de protocolos de comunicação. 2005. (Congresso).

II JAVA GYN. 2005. (Encontro).

ETI 2004 - Encontro de Tecnologia e Informática. 2004. (Encontro).

I Congresso de Pesquisa, Ensino e Extensão. 2004. (Congresso).

ETI 2003 - Encontro de Tecnologia e Informática. 2003. (Encontro).

VII Escola de Verão - Instituto de Matemática e Estatística. 2003. (Outra).

VI UCGComp.Um algoritmo afim-escala para programação linear. 2003. (Encontro).

XXIII Congresso da Sociedade Brasileira de Computação. 2003. (Congresso).

I Encontro de Matemática Aplicada e Computacional. 2002. (Encontro).

V UCGcomp. 2002. (Outra).

XXV Congresso Nacional de Matemática Aplicada e Computacional. 2002. (Congresso).

IV UCGComp. 2001. (Encontro).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Yan Soares Couto

FERNANDES, C. G.; STOLFI, J.;FRANCO, Á. J. P.. Estruturas de dados persistentes. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Mateus Barros Rodrigues

FERREIRA, C. E.FRANCO, Á. J. P.; FIGUEIREDO, L. H.. Single Source Shortest Pahts in Simple Polygons. 2019. Dissertação (Mestrado em Ciência da Computação) - Universidade de São Paulo.

Aluno: Paulo Henrique

SZORTYKA, M. M.; TORRES, E. A. S.;FRANCO, Á. J. P.. Tubo de Diretividade Sonora (TDS): Confecção de um modelo experimental para o estudo da acústica. 2019. Dissertação (Mestrado em Mestrado Nacional Profissional em Ensino de Física) - Universidade Federal de Santa Catarina.

Aluno: Diogo Haruki Kykuta

FERREIRA, C. E.; PINA JR, J. C.;FRANCO, Á. J. P.. Comparação de algoritmos para o problema dos k menores caminhos. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Aluno: Evandro Sperfeld Coan

SANTIAGO, R.; MARCHI, J.;FRANCO, Á. J. P.. Uma Ferramenta de Formatação Programável por Gramáticas. 2019. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina.

Aluno: Pedro Henrique de Francia Rosso

MACHADO, G. M.; SOBIERANSKI, A. C.;FRANCO, Á. J. P.. Recoloração de imagens para dicromatas baseada em mapas elásticos. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal de Santa Catarina.

Aluno: Henrique Ramos Limas e Gustavo Teixeira

FRANCO, Á. J. P.; RAMOS, V. F. C.; MACHADO, G. M.; ARAUJO, G. M.. Um estudo comparativo entre dois algoritmos de classificação de páginas da Web. 2016. Trabalho de Conclusão de Curso (Graduação em Tecnologias da Informação e Comunicação) - Universidade Federal de Santa Catarina.

ROCHA, F. R. L.;CALEGARI, P. C.FRANCO, Á. J. P.. Processo seletivo simplificado para contratação de professor temporário. 2017. Universidade Federal de Santa Catarina.

ROCHA, F. R. L.;FRANCO, Á. J. P.; MACHADO, G. M.. Processo seletivo simplificado para contratação de professor temporário. 2016. Universidade Federal de Santa Catarina.

JASINSKI, E. F.;Franco, Álvaro Junio Pereira; KURIKI, H. U.; ESTEVES, P. C. L.; ROSA, M. Z.; WATZKO, E. S.. Comissão para analisar e avaliar os projetos inscritos no programa de bolsas de extensão da UFSC - Centro Araranguá (PROBOLSAS 2017 - UFSC). 2017. Universidade Federal de Santa Catarina.

FRANCO, Á. J. P.; JASINSKI, E. F.; KURIKI, H. U.; ROSA, M. Z.; OLIVEIRA, R. G.; BILESSIMO, S. M. S.. Comissão para analisar e avaliar os projetos inscritos no programa de bolsas de extensão da UFSC - Centro Araranguá (PROBOLSAS 2018 - UFSC). 2017. Universidade Federal de Santa Catarina.

JASINSKI, E. F.; KURIKI, H. U.;FRANCO, Á. J. P.; ESTEVES, P. C. L.; ROSA, M. Z.. Comissão para analisar e avaliar os projetos inscritos no programa de bolsas de extensão da UFSC - Centro Araranguá (PROBOLSAS 2016 - UFSC). 2016. Universidade Federal de Santa Catarina.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Alexandre da Silva Freire

FREIRE, ALEXANDRE S.. Algoritmos para junções em digrafos acíclicos e uma aplicação na Antropologia. 2013. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

Carlos Eduardo Ferreira

FERREIRA, C. E.; PINA JR, J. C.; RESENDE, P.. Consultas de segmentos em janelas: algoritmos e estruturas de dados. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Carlos Eduardo Ferreira

FERREIRA, C. E.; SOARES, José Augusto Ramos; PINA JR, J. C.; KOBAYASHI, N.. Qualificação de mestrado: Algoritmos e Estruturas de Dados para Buscas em Janelas. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.

Carlos Eduardo Ferreira

FERREIRA, CARLOS EDUARDO; PINA JR, J. C.; CERIOLI, M. R.; LEE, O.; CARVALHO, M. H.. Algoritmos para junções em digrafos acíclicos e uma aplicação na Antropologia. 2013. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

Marcio Nunes de Miranda

MIRANDA, M. N.COSTA, Fabio Moreira. Modelagem de Protocolos para Grades Computacionais. 2006. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Goiás.

Orlando Lee

C.E. Ferreira; PINA JR., J. C.; CERIOLI, Marcia; CARVALHO, Marcelo Henriques de;LEE, O.. Algoritmos para junções em digrafos acíclicos e uma aplicação na Antropologia. 2013. Tese (Doutorado em Ciencia da Computacao) - Universidade de São Paulo.

Seção coletada automaticamente pelo Escavador

Orientou

Henrique Lorenzetti Langer

Implementação e análise de algoritmos para geração de árvores de dominadores; Início: 2019; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Santa Catarina; (Orientador);

[Nome removido após solicitação do usuário]

Estágio em docência na disciplina Projeto e Análise de Algoritmos; 2017; Orientação de outra natureza; (Engenharia de Computação) - Universidade Federal de Santa Catarina; Orientador: Álvaro Junio Pereira Franco;

Henrique Ramos Limas e Gustavo Teixeira

Um estudo comparativo entre dois algoritmos de classificação de páginas da Web; 2016; Orientação de outra natureza; (Tecnologias da Informação e Comunicação) - Universidade Federal de Santa Catarina; Orientador: Álvaro Junio Pereira Franco;

Pedro Henrique Di Francia Rosso

Supervisão da monitoria em Estruturas de Dados I; 2016; Orientação de outra natureza; (Engenharia de Computação) - Universidade Federal de Santa Catarina, Universidade Federal de Santa Catarina; Orientador: Álvaro Junio Pereira Franco;

Juliana Vitório Paim

Supervisão da monitoria em Pesquisa Operacional; 2016; Orientação de outra natureza; (Engenharia de Energia) - Universidade Federal de Santa Catarina, Universidade Federal de Santa Catarina; Orientador: Álvaro Junio Pereira Franco;

Ramon Willian Tramontin

Preparação para as Olimpíadas de Informática; 2016; Orientação de outra natureza; (Engenharia de Computação) - Universidade Federal de Santa Catarina, Universidade Federal de Santa Catarina; Orientador: Álvaro Junio Pereira Franco;

Eduardo de Farias

Supervisão da monitoria em Estruturas de Dados I; 2015; Orientação de outra natureza; (Engenharia de Computação) - Universidade Federal de Santa Catarina, Universidade Federal de Santa Catarina; Orientador: Álvaro Junio Pereira Franco;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Carlos Eduardo Ferreira

Consultas de segmentos em janelas: algoritmos e estruturas de dados; 2009; Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Carlos Eduardo Ferreira;

Carlos Eduardo Ferreira

Algoritmos para junções em grafos dirigidos acíclicos e uma aplicação em Antropologia; 2013; Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Carlos Eduardo Ferreira;

Marcio Nunes de Miranda

Modelagem de Protocolos para Grades Computacionais; 2006; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Goiás; Orientador: Marcio Nunes de Miranda;

Marcio Nunes de Miranda

Modelagem de Protocolos de Comunicação utilizando HW/SW Codesign e Algoritmos Genéticos; 2006; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Goiás, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Marcio Nunes de Miranda;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • Ferreira, Carlos Eduardo ; Franco, Álvaro Junio Pereira . A min - max relation in flowgraphs a. DISCRETE APPLIED MATHEMATICS , v. 245, p. 65-76, 2018.

  • FERNANDES, CRISTINA G. ; FERREIRA, CARLOS E. ; FRANCO, ÁLVARO J.P. ; SCHOUERY, RAFAEL C.S. . The envy-free pricing problem, unit-demand markets and connections with the network pricing problem. Discrete Optimization , v. 22, p. 141-161, 2016.

  • FERREIRA, CARLOS E. ; FRANCO, ÁLVARO J.P. . A min-max relation in flowgraphs. ELECTRONIC NOTES IN DISCRETE MATHEMATICS , v. 50, p. 109-114, 2015.

  • FERNANDES, CRISTINA G. ; FERREIRA, CARLOS E. ; Franco, Álvaro J. P. ; Schouery, Rafael C. S. . The Envy-Free Pricing Problem and Unit-Demand Markets. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2014, v. 8596, p. 230-241.

  • Ferreira, Carlos Eduardo ; Franco, Álvaro Junio Pereira . Algorithms for Junctions in Acyclic Digraphs. In: Michael Jünger; Gerhard Reinelt. (Org.). Facets of Combinatorial Optimization. 1ed.Berlin Heidlberg: Springer Berlin Heidelberg, 2013, v. , p. 175-194.

  • PAULINO, C. ; FRANCO, Á. J. P. . The Kraho Empiric Network: an exercise in modelling. In: 18th IUAES World Congress, 2018, Florianópolis. Conference Proceedings 18th IUAES World Congress. Florianópolis: Tribo da Ilha, 2018. v. 1. p. 875-884.

  • Franco, Álvaro J. P. ; Ferreira, Carlos Eduardo ; SILVA, M. F. . O parentesco como uma questão computacional. In: VI ReACT - Reunião de Antropologia da Ciência e da Tecnologia, 2017, São Paulo. Anais do VI ReACT, 2017. v. 3.

  • SILVA, M. F. ; Franco, Álvaro J. P. ; FERREIRA, C. E. . Genealogia: tradução ou modelo?. In: VI ReACT - Reunião de Antropologia da Ciência e da Tecnologia, 2017, São Paulo. Anais do VI ReACT, 2017. v. 3.

  • Ferreira, Carlos Eduardo ; FRANCO, ALVARO JUNIO PEREIRA ; SILVA, MARCIO FERREIRA DA . Finding Matrimonial Circuits in some Amerindian Kinship Networks: An Experimental Study. In: 2014 IEEE 10th International Conference on eScience (eScience), 2014, Sao Paulo. 2014 IEEE 10th International Conference on e-Science. p. 73-80.

  • MIRANDA, M. N. ; FRANCO, Á. J. P. ; CARVALHO, S. . Aproximação de distribuições de probabilidade não-exponenciais por distribuições do tipo fase.. In: XXXVIII Simpósio Brasileiro de Pesquisa Operacional, 2006, Goiânia. Anais do XXXVIII Simpósio Brasileiro de Pesquisa Operacional, 2006.

  • FRANCO, Á. J. P. ; MIRANDA, M. N. . Metodologia para implementação otimizada de protocolos de comunicação. In: Congresso de Pesquisa, Ensino E Extensão da UFG - CONPEEX, 2005, GOIÂNIA. Anais Eletrônicos do XIII Seminário de Iniciação Científica, 2005.

  • FERREIRA, C. E. ; Franco, Álvaro J. P. ; SILVA, M. F. . Redes de parentesco como sistemas dinâmicos. In: VI ReACT - Reunião de Antropologia da Ciência e da Tecnologia, 2017, São Paulo. Anais do VI ReACT, 2017. v. 3.

  • FERREIRA, C. E. ; FRANCO, Á. J. P. . From a min-max relation to an algorithm to construct the dominator tree of a reducible flowgraph. In: 22nd International Symposium on Mathematical Programming, 2015, Pittsburgh. Book of abstracts, 2015. v. 1.

  • Franco, Álvaro Junio Pereira ; FERREIRA, C. E. . A new linear time algorithm to construct dominator trees in reducible flow graphs. In: International Symposium on Mathematical Programming, 2012, Berlin. Book of Abstracts, 2012. v. 1.

  • FRANCO, Á. J. P. ; MIRANDA, M. N. . Otimização do desempenho de um protocolo de comunicação para multimídia. In: Reunião Anual da SBPC, 2006, Florianópolis. Anais / Resumos Eletrônicos, 58, 2006.

  • FRANCO, Á. J. P. ; MENEZES, M. A. F. . Um algoritmo afim-escala para programação linear. In: VI UCGComp, 2003, Goiânia. Resumo das Sessões Técnicas. Goiânia: Universidade Católica de Goiás, 2003. v. 1. p. 12-12.

  • Franco, Álvaro J. P. ; FERREIRA, C. E. ; SILVA, M. F. . O parentesco como uma questão computacional. 2017. (Apresentação de Trabalho/Seminário).

  • FERREIRA, C. E. ; FRANCO, Á. J. P. . A min-max relation in flowgraphs. 2015. (Apresentação de Trabalho/Simpósio).

  • FERREIRA, C. E. ; FRANCO, Á. J. P. . From a min-max relation to an algorithm to construct the dominator tree of a reducible flowgraph. 2015. (Apresentação de Trabalho/Simpósio).

  • Franco, Álvaro Junio Pereira . Uma nova máquina do parentesco: características, uso e perspectivas. 2014. (Apresentação de Trabalho/Seminário).

  • FERREIRA, C. E. ; Franco, Álvaro Junio Pereira ; SILVA, M. F. . Finding Matrimonial Circuits in some Amerindian Kinship Networks: an Experimental Study. 2014. (Apresentação de Trabalho/Congresso).

  • Ferreira, Carlos Eduardo ; Franco, Álvaro Junio Pereira ; SILVA, M. F. . A New Kinship Machine: Characteristics, Use, and Perspectives. 2014. (Apresentação de Trabalho/Congresso).

  • FRANCO, Á. J. P. ; FERREIRA, C. E. . A new linear time algorithm to construct dominator trees in reducible flow graphs. 2012. (Apresentação de Trabalho/Simpósio).

  • FRANCO, Á. J. P. ; MIRANDA, M. N. . Otimização do desempenho de um protocolo de comunicação para multimídia. 2006. (Apresentação de Trabalho/Congresso).

  • FRANCO, Á. J. P. ; MIRANDA, M. N. . Metodologia para implementação otimizada de protocolos de comunicação. 2005. (Apresentação de Trabalho/Seminário).

  • FRANCO, Á. J. P. ; MENEZES, M. A. F. . Um algoritmo afim-escala para programação linear. 2003. (Apresentação de Trabalho/Outra).

  • FRANCO, Á. J. P. . Algoritmos para junções em digrafos acíclicos e uma aplicação na Antropologia 2013 (Tese de doutorado).

  • FRANCO, Á. J. P. . Consultas de segmentos em janelas: algoritmos e estruturas de dados 2009 (Dissertação de mestrado).

Seção coletada automaticamente pelo Escavador

Outras produções

Franco, Álvaro Junio Pereira ; Ferreira, Carlos Eduardo ; SILVA, M. F. . Kinship Machine +. 2013.

Franco, Álvaro Junio Pereira ; Ferreira, Carlos Eduardo . Consultas em janelas. 2009.

FRANCO, Á. J. P. . Página Web - Disciplinas Ministradas. 2017. (Site).

FRANCO, Á. J. P. . Página Web - Pessoal. 2017. (Site).

FRANCO, Á. J. P. ; SANTIAGO, R. . Programação Linear e Inteira. 2019. (Curso de curta duração ministrado/Extensão).

FRANCO, Á. J. P. . Tópicos de programação. 2013. (Curso de curta duração ministrado/Extensão).

FRANCO, Á. J. P. . Tópicos de programação. 2013. (Curso de curta duração ministrado/Extensão).

FRANCO, Á. J. P. . Introdução à Programação. 2012. (Curso de curta duração ministrado/Extensão).

FRANCO, Á. J. P. . Introdução à Programação. 2011. (Curso de curta duração ministrado/Extensão).

FRANCO, Á. J. P. . Introdução à Programação. 2010. (Curso de curta duração ministrado/Extensão).

FRANCO, Á. J. P. ; MIRANDA, M. N. . Modelagem de protocolos para grades computacionais. 2006. (Relatório de pesquisa).

FRANCO, Á. J. P. ; MIRANDA, M. N. . Modelagem e projeto de protocolos de comunicação. 2005. (Relatório de pesquisa).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2019 - Atual

    Estruturas de Dados e Algoritmos, Descrição: Diversos problemas reais podem ser modelados por meio de estruturas discretas, tais como grafos, ou por programas de programação linear inteiros ou mistos. Por exemplo, é possível modelar a relação de parentesco em comunidades indígenas por meio de grafos mistos e, das propriedades destes grafos, extrair informações interessantes sobre o comportamento destas comunidades. Pode-se modelar a dispersão de sementes por aves no meio-ambiente através de um grafo bipartido, e a identificação de padrões repetidos nestes grafos pode melhorar o nosso entendimento de como florestas se regeneram, e eventualmente pode ajudar na identificação de fatores que interferem com essa regeneração. Otimização é uma área que se encontra na intersecção da matemática com a ciência da computação e que vem se desenvolvendo rapidamente desde a descoberta do método simplex para programação linear na década de 1940. Métodos de otimização têm aplicações em diversas áreas, dentre as quais destacamos economia, biologia computacional, estudo de redes sociais, logística, etc. O objetivo principal desse projeto é o estudo de estruturas discretas e a investigação de diversos problemas de otimização, com ênfase no desenvolvimento de técnicas e algoritmos, e no tratamento de questões de natureza teórica a respeito desses problemas e estruturas. Dentre as técnicas que investigaremos destacam-se o uso de algoritmos de aproximação, algoritmos enumerativos, métodos probabilísticos, programação linear mista ou inteira, combinatória poliédrica, e programação semidefinida.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (10) Doutorado: (8) . , Integrantes: Álvaro Junio Pereira Franco - Integrante / Cristina Gomes Fernandes - Coordenador / Yoshiko Wakabayashi - Integrante / Alexandre da Silva Freire - Integrante / Marcel Kenji de Carli Silva - Integrante / Yoshiharu Kohayakawa - Integrante / Daniel Morgato Martin - Integrante / Aritanan Borges Garcia Gruber - Integrante / Arnaldo Mandel - Integrante / Atílio Gomes Luiz - Integrante / Carlos E. Ferreira - Integrante / Cristiane Maria Sato - Integrante / Gabriel M. Coutinho - Integrante / José C. de Pina Jr - Integrante / Karla R. Lima - Integrante / Maycon Sambinelli - Integrante / Sinai Robins - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2017 - Atual

    Modelagem numérica e computacional de equações diferenciais, Descrição: Esta é uma proposta de pesquisa na área de Análise Numérica e Computação Científica. O principal objetivo do projeto é a investigação de diversas questões que surgem da resolução numérica de Equações Diferenciais Parciais e Equações Diferenciais Ordinárias. Na investigação destas questões será dada ênfase ao desenvolvimento de técnicas computacionais e algoritmos, e ao estudo teórico dos métodos numéricos envolvidos na solução destes problemas. Vamos investigar a solução numérica de sistemas lineares de grande porte, métodos de discretização de domínios, métodos conservativos para a aproximação das equações diferenciais parciais, aproximação de dados tabelados e estruturas de dados eficientes para os dados envolvidos nestes problemas.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Álvaro Junio Pereira Franco - Integrante / Priscila Cardoso Calegari - Coordenador.

  • 2014 - 2018

    Proj. CNPq/Edital Universal 2014 - Estudos Teóricos e Práticos de Problemas e Técnicas de Otimização, Descrição: O principal objetivo do projeto é a aplicação de técnicas de otimização a diversos problemas, teóricos e práticos, com destaque ao uso de ferramentas de programação semidefinida, programação mista, combinatória poliédrica e algoritmos de aproximação. Nossas investigações contribuirão para avançar o estado-da-arte em otimização combinatória e em áreas correlatas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (4) Doutorado: (8) . , Integrantes: Álvaro Junio Pereira Franco - Integrante / Carlos Eduardo Ferreira - Integrante / Cristina Gomes Fernandes - Integrante / Yoshiko Wakabayashi - Coordenador / Alexandre da Silva Freire - Integrante / Andrea Jiménez - Integrante / César Israel Hernández Vélez - Integrante / Fernando Mário de Oliveira Filho - Integrante / José Coelho de Pina Junior - Integrante / Karla Roberta Pereira Sampaio Lima - Integrante / Marcel Kenji de Carli Silva - Integrante / Mario Leston Rey - Integrante.

  • 2014 - Atual

    Anéis Cromáticos em Redes de Parentesco Dinâmicas, Descrição: Este projeto de pesquisa é interdisciplinar e envolve as áreas de Antropologia e Computação. Apresentamos novos problemas da área de Antropologia Estrutural, e usamos grafos misto na modelagem desses problemas. Um dos principais objetivos deste projeto é desenvolver algoritmos para enumerar estruturas que ocorrem em redes de parentesco de determinados povos. Essas estruturas são chamadas de anéis. Os anéis de alguns povos considerados contêm alguns atributos como é o caso dos anéis com conexões de nomeação e amizade formal do povo Krahô; e dos anéis cromáticos do povo Enawenê-Nawê onde cada indivíduo possui uma cor (a cor do grupo que o indivíduo pertence). Nestes casos, os anéis de interesse devem obedecer a um certo padrão sobre arcos e sobre cores em vértices. Ao mesmo tempo, novos anéis podem surgir e outros podem desaparecer, quando a análise é feita sobre redes de parentesco dinâmicas onde indivíduos podem se casar,formando assim novos anéis, enquanto que outros podem morrer (ou podem ocorrer divórcios),desfazendo outros anéis. Pretendemos desenvolver algoritmos sobre grafos com o objetivo de dar uma solução para nossos colegas antropólogos. Aplicaremos técnicas de programação como divisão-e-conquista, algoritmos gulosos, algoritmos de aproximação, programação dinâmica, e algoritmos de fluxos, além de técnicas combinatórias com origem na área de Otimização. Ao fim desta pesquisa, esperamos contribuições tanto para a Antropologia quanto para a Computação, e assim, contribuições para mais um caso de pesquisa interdisciplinar.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Álvaro Junio Pereira Franco - Coordenador.

  • 2013 - 2017

    Estruturas combinatórias, otimização e algoritmos em teoria da computação, Descrição: A área de Ciência da Computação experimenta hoje um crescimento vertiginoso. Novidades tecnológicas surgem e tornam-se obsoletas em um ou dois anos de existência. Novas abordagens surgem com enorme rapidez. Tal desenvolvimento se dá por necessidades criadas em outras áreas do conhecimento de novas técnicas para resolver problemas cada vez mais complexos. Hoje em dia é impossível imaginar um pesquisador de qualquer área do conhecimento que possa desenvolver suas atividades sem o apoio de métodos, técnicas ou tecnologia desenvolvida por pesquisadores de Ciência da Computação. É evidente que os mais bem sucedidos avanços tecnológicos em Ciência da Computação estão fundamentados em resultados teóricos. Áreas como mineração de dados e reconhecimento de padrões, para citar apenas duas, têm seus métodos fortemente baseados em técnicas desenvolvidas em Teoria da Computação. Nosso objetivo neste projeto é o estudo de estruturas combinatórias e diversas formas de abordar problemas relacionados com tais estruturas: métodos algébricos, geométricos, probabilísticos, combinatórios, etc. Uma melhor compreensão destes objetos pode resultar em novas estratégias e algoritmos mais eficientes para resolver problemas a eles relacionados. A equipe proponente tem pesquisadores com grande experiência que cobrem uma ampla gama de sub áreas de Teoria da Computa ção, permitindo uma maior sinergia para a solução dos problemas abordados. As principais contribuições esperadas neste projeto são a publicação de artigos científicos em conferências e periódicos bem estabelecidos, com alta circulação e de seletiva política editorial. Desejamos também intensificar o intercâmbio internacional do grupo e a formação de alunos nos vários níveis (de iniciação científica a pós-doutorandos). Pretendemos ainda, durante a execução do projeto, realizar uma Escola Avancada de Ciências na área de Teoria da Computação.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Álvaro Junio Pereira Franco - Integrante / Carlos Eduardo Ferreira - Coordenador / Cristina Gomes Fernandes - Integrante / Yoshiko Wakabayashi - Integrante / Alexandre da Silva Freire - Integrante / Fernando Mário de Oliveira Filho - Integrante / José Coelho de Pina Jr - Integrante / Yoshiharu Kohayakawa - Integrante / André Fujita - Integrante / Ernesto G. Birgin - Integrante / Débora Pretti Ronconi - Integrante / Gordana Manic - Integrante / Daniel Morgato Martin - Integrante / Andrea P. J. Ramirez - Integrante / Hiep Han - Integrante / Karla Roberta Lima - Integrante / Carlos Henrique Cardonha - Integrante / Carlos Hoppen - Integrante / Fabricio Siqueira Benevides - Integrante / Neal Owen Bushaw - Integrante / Rudini Sampaio Menezes - Integrante / Sang June Lee - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Universidade Federal de Santa Catarina, Departamento de Informática e Estatística. , UFSC - Universidade Federal de Santa Catarina, Trindade, 88040900 - Florianópolis, SC - Brasil - Caixa-postal: 476, Telefone: (48) 37217548, URL da Homepage:

Seção coletada automaticamente pelo Escavador

Experiência profissional

2014 - Atual

Universidade Federal de Santa Catarina

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

Atividades

  • 03/2019

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Construção de Compiladores

  • 03/2019

    Ensino, Sistema de Informação, Nível: Graduação,Disciplinas ministradas, Introdução à Programação Orientada a Objetos, Introdução à Informática

  • 03/2019 - 05/2019

    Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Inteligência Artificial

  • 07/2014 - 12/2018

    Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Banco de Dados I, Estruturas de Dados I, Fundamentos Matemáticos para Computação, Pesquisa Operacional, Projeto e Análise de Algoritmos

  • 07/2014 - 12/2018

    Ensino, Tecnologias da Informação e Comunicação, Nível: Graduação,Disciplinas ministradas, Banco de Dados I, Estruturas de Dados I

  • 07/2014 - 12/2018

    Ensino, Engenharia de Energia, Nível: Graduação,Disciplinas ministradas, Pesquisa Operacional

  • 12/2015 - 08/2018

    Direção e administração, UFSC - Campus Araranguá, Departamento de Computação.,Cargo ou função, Coordenador de extensão.

2017 - Atual

Instituto Nacional de Ciências e Tecnologia - Brasil Plural

Vínculo: Institucional, Enquadramento Funcional: Pesquisador

Outras informações:
(Retirado da página do IBP) O Instituto Brasil Plural (IBP) é um INCT, com vínculo com o CNPq, e com apoio de fundações de fomento para a pesquisa como a FAPESC e a FAPEAM. O IBP reúne uma rede de pesquisadores de instituições universitárias brasileiras. O IBP visa desenvolver um programa de pesquisa para descrever e retratar diferentes realidades brasileiras e contribuir para o desenvolvimento de políticas sociais e a formação de profissionais que atuem tanto no âmbito acadêmico quanto nas populações estudadas.

2017 - Atual

Centro de Estudos Ameríndios

Vínculo: Institucional, Enquadramento Funcional: Docente Colaborador

Outras informações:
(Retirado da página do CEstA) O Centro de Estudos Ameríndios (CEstA) é um Núcleo de Apoio à Pesquisa (NAP), vinculado à Pró-Reitoria de Pesquisa da Universidade de São Paulo. Tem como objetivo produzir, aprofundar, sistematizar e divulgar conhecimentos sobre os povos indígenas das Américas. Sua equipe é composta por pesquisadores de diferentes áreas, contando com especialistas reconhecidos no Brasil e no exterior, vinculados à Faculdade de Filosofia, Letras e Ciências Humanas (Departamentos de Antropologia e História), Museu de Arqueologia e Etnologia, Instituto de Estudos Brasileiros e Instituto de Matemática e Estatística (Departamento de Ciência da Computação). A proposta do CEstA é a de instaurar um diálogo interdisciplinar a respeito de questões pertinentes ao conhecimento dos povos ameríndios, contribuindo para uma reflexão pluridimensional sobre o tema. Além disso, o centro tem como uma de suas metas embasar a produção de subsídios para debates em torno de políticas públicas referentes a tais populações, sobretudo aquelas que se encontram em território brasileiro. O CEstA também tem a missão de divulgar esta reflexão no âmbito acadêmico, principalmente através de eventos (seminários, simpósios, palestras, entre outros) e publicações (revista eletrônica, boletim, site e coletâneas). Por último, o núcleo visa a formação de jovens pesquisadores, introduzindo-os ao círculo de discussões temáticas e às técnicas e práticas de pesquisa (de campo, arqueológica e documental).

2012 - 2012

Universidade de São Paulo

Vínculo: Livre, Enquadramento Funcional: Monitor, Carga horária: 6

Outras informações:
Monitor da disciplina Algoritmos em Grafos

2011 - 2011

Universidade de São Paulo

Vínculo: Livre, Enquadramento Funcional: Monitor, Carga horária: 6

Outras informações:
Monitor da disciplina Linguagens Formais e Autômatos

2010 - 2010

Universidade de São Paulo

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

Outras informações:
Estagiário do Programa de Aperfeiçoamento de Ensino - PAE. Disciplina: Princípios de Desenvolvimento de Algoritmos, IME-USP

2009 - 2009

Universidade de São Paulo

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

Outras informações:
Estagiário do Programa de Aperfeiçoamento de Ensino - PAE. Disciplina: Estruturas de dados, IME-USP

2009 - 2009

Universidade de São Paulo

Vínculo: Livre, Enquadramento Funcional: Monitor, Carga horária: 6

Outras informações:
Monitor da turma 1 (período matutino) da disciplina Tópicos de Programação, Cursos de Verão 2009, IME-USP

2009 - 2009

Universidade de São Paulo

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

Outras informações:
Estagiário do Programa de Aperfeiçoamento de Ensino - PAE. Disciplina: Geometria Computacional, IME-USP

2009 - 2009

Universidade de São Paulo

Vínculo: Livre, Enquadramento Funcional: Monitor, Carga horária: 6

Outras informações:
Monitor da turma 2 (período noturno) da disciplina Tópicos de Programação, Cursos de Verão 2009, IME-USP

2008 - 2008

Universidade de São Paulo

Vínculo: Livre, Enquadramento Funcional: Monitor, Carga horária: 6

Outras informações:
Monitor da turma 1 (período matutino) da disciplina Tópicos de Programação, Cursos de Verão 2008, IME-USP

2008 - 2008

Universidade de São Paulo

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

Outras informações:
Estagiário do Programa de Aperfeiçoamento de Ensino - PAE. Disciplina: Introdução à Computação, IME-USP

2008 - 2008

Universidade de São Paulo

Vínculo: Livre, Enquadramento Funcional: Monitor, Carga horária: 6

Outras informações:
Monitor da turma 2 (período noturno) da disciplina Tópicos de Programação, Cursos de Verão 2008, IME-USP

2007 - 2007

Universidade de São Paulo

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

Outras informações:
Estagiário do Programa de Aperfeiçoamento de Ensino - PAE. Disciplina: Introdução à Computação para Ciências Exatas e Tecnologia, IME-USP

2005 - 2006

Universidade Federal de Goiás

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de iniciação científica / CNPq, Carga horária: 20

2004 - 2005

Universidade Federal de Goiás

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de iniciação científica / CNPq, Carga horária: 20

2002 - 2003

BANCO DO BRASIL

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

2002 - 2003

Pontifícia Universidade Católica de Goiás

Vínculo: Bolsista, Enquadramento Funcional: Bolsista voluntário de iniciação científica, Carga horária: 20

2001 - 2002

Pontifícia Universidade Católica de Goiás

Vínculo: Bolsista, Enquadramento Funcional: Auxiliar de secretaria, Carga horária: 6

1999 - 2000

Tribunal de Justiça

Vínculo: Outro, Enquadramento Funcional: Estágio, Carga horária: 25