ADOLFO GUSTAVO SERRA SECA NETO
Eu, Adolfo Neto (nome completo: Adolfo Gustavo Serra Seca Neto), sou professor associado da Universidade Federal Tecnológica do Paraná (UTFPR), Campus Curitiba. Minha área de pesquisa é Engenharia de Software, e meu objetivo geral de pesquisa é auxiliar desenvolvedores a facilitar o compartilhamento de conhecimento e a aquisição de expertise científica e prática.Tópicos de pesquisa:Comunidades de desenvolvimento de software,Intercâmbio de conhecimento em engenharia de software,Métodos ágeis,IA e seu impacto no desenvolvimento de software e na sociedade.Sou co-criador e co-apresentador dos podcasts Fronteiras da Engenharia de Software, Elixir em Foco e Emílias Podcast - Mulheres na Computação, todos em português. Também sou co-criador e co-apresentador do podcast Hello, Erlang! e criador e apresentador do podcast Professor Adolfo Neto.Sou um das co-chair do Grupo de Trabalho de Educação, Treinamento e Adoção da Fundação do Ecosistema de Erlang.Sou entusiasta das linguagens de programação Elixir, Erlang e Lean.Página: https://adolfont.github.io/
Informações coletadas do Lattes em 13/11/2025
Acadêmico
Formação acadêmica
Doutorado em Ciências da Computação
2003 - 2007
Universidade de São Paulo
Título: A Multi-Strategy Theorem Prover
Marcelo Finger. Palavras-chave: LÓGICA; PROVADORES AUTOMÁTICOS DE TEOREMAS; TABLEAUX; PROGRAMAÇÃO ORIENTADA A ASPECTOS; PROGRAMAÇÃO ORIENTADA A OBJETOS; LÓGICAS DE INCONSISTÊNCIA FORMAL. Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.
Mestrado em Ciências da Computação
1994 - 1996
Universidade Federal de Pernambuco
Título: Using Logic for Concurrency - A Critical Study, Ano de Obtenção: 1997
Ruy José Guerra Barretto de Queiroz.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: LÓGICA; LÓGICA LINEAR; CONCORRÊNCIA; SISTEMAS DEDUTIVOS ROTULADOS.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.
Aperfeiçoamento interrompido em 2003 em Formação Pedagógica
2002 - Atual
Instituto Federal de Alagoas
Título: incompleto. Ano de finalização: 2003
Ano de interrupção: 2003
Graduação em Ciências da Computação
1990 - 1994
Universidade Federal de Alagoas
Título: Um Modelo de Dados Relacional Difuso
Orientador: Evandro de Barros Costa
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de Alagoas, FAPEAL, Brasil.
Pós-doutorado
2014 - 2015
Pós-Doutorado. , North Carolina State University, NCSU, Estados Unidos. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Exatas e da Terra
Formação complementar
2020 - 2020
Professor Youtube: tudo que aprendi com meu filho de 14 anos. (Carga horária: 12h). , Universidade Tecnológica Federal do Paraná, UTFPR, Brasil.
2019 - 2019
Como representar minha disciplina por meio de um mapa conceitual?. (Carga horária: 4h). , Universidade Tecnológica Federal do Paraná, UTFPR, Brasil.
2008 - 2008
Introdução ao Desenvolvimento Ágil Utilizando XP. (Carga horária: 8h). , Fundação Educacional do Município de Assis, FEMA, Brasil.
2003 - 2003
Padrões de Projeto. (Carga horária: 8h). , Centro de Ensino de Computação, CEC, Brasil.
1999 - 1999
Curso Prático de Comunicação Verbal. (Carga horária: 12h). , Instituto Carlos Conce, ICC, Brasil.
1996 - 1996
Oratória. (Carga horária: 15h). , Instituto Carlos Conce, ICC, Brasil.
1992 - 1992
Intermediate English. , Yázigi International, YI, Estados Unidos.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Aspectos Humanos em Engenharia de Software.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software (Métodos Ágeis).
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Lógica Aplicada à Computação.
Organização de eventos
EMER, Maria Claudia F. P. ; SETTI, M. O. G. ; SECA NETO, ADOLFO GUSTAVO S. . Dia Internacional da Mulher 2025 do Emílias. 2025. (Outro).
SECA NETO, ADOLFO GUSTAVO S. ; VEGI, L. ; VALENTE, M. T. . Esquenta SE4FP. 2025. (Outro).
EMER, Maria Claudia F. P. ; SETTI, M. O. G. ; SECA NETO, ADOLFO GUSTAVO S. ; SANTOS, N. C. . Dia Intermacional da Mulher 2024 do Emílias. 2024. (Outro).
LIMA, J. L. ; NETO, Adolfo . ElixirDays SP. 2024. (Congresso).
NETO, Adolfo . Palestra "State Reconciliation Defects in Infrastructure as Code", de AKond Rahman. 2024. (Outro).
EMER, Maria Claudia F. P. ; SETTI, M. O. G. ; SECA NETO, ADOLFO GUSTAVO S. . Ada Lovelace Day 2024 do Emílias. 2024. (Outro).
SECA NETO, ADOLFO GUSTAVO S. ; JUCA, J. ; CARVALHO JUNIOR, F. H. ; ANDRADE, D. ; TORRES, H. ; ALONSO, V. B. ; SCHREDER, O. . Elixir Fortaleza Conf. 2023. (Outro).
SECA NETO, ADOLFO GUSTAVO S. . Meetup Online Elixir Brasil 18/10/2023. 2023. (Outro).
SECA NETO, ADOLFO GUSTAVO S. ; JUCA, J. ; CARVALHO JUNIOR, F. H. ; ANDRADE, D. ; TORRES, H. . Elixir Fortaleza Conf. 2023. (Congresso).
SECA NETO, ADOLFO GUSTAVO S. ; EMER, Maria Claudia F. P. ; SETTI, M. O. G. . Ada Lovelace Day 2023 do Emílias. 2023. (Outro).
EMER, Maria Claudia F. P. ; SECA NETO, ADOLFO GUSTAVO S. ; SETTI, M. O. G. . Dia Internacional da Mulher 2023 do Emílias. 2023. (Outro).
SECA NETO, ADOLFO GUSTAVO S. . Duas edições de Meetups de Elixir. 2023. (Outro).
NETO, Adolfo ; EMER, Maria Claudia F. P. ; SETTI, M. O. G. . Dia Internacional da Mulher do Emílias. 2021. (Outro).
MACABEUS, B. ; NETO, Adolfo ; AZEVEDO, C. . GambiConf. 2021. (Outro).
NETO, Adolfo ; EMER, Maria Claudia F. P. . Dia Internacional da Mulher do Emílias. 2020. (Outro).
NETO, Adolfo ; EMER, Maria Claudia F. P. . Ada Lovelace Day do Emílias. 2020. (Outro).
NETO, Adolfo ; SETZER, V. W. . A Máquina de Turing e o que os computadores podem e não podem fazer, por Valdemar W. Setzer. 2020. (Outro).
EMER, Maria Claudia F. P. ; NETO, Adolfo ; BERARDI, R. C. G. ; BIM, S. A. . Ada Lovelace Day. 2019. (Outro).
NETO, Adolfo ; SALINAS, M.R.N. ; POLIZELO, IANCA ; RANGEL, J. A. ; OLIVEIRA, P. C. . Coding Dojo com Elixir no Dia Internacional da Mulher. 2018. (Outro).
NETO, Adolfo . Coding Dojo com Elixir no FTSL 2018. 2018. (Outro).
NETO, Adolfo ; SALINAS, M. R. N. . Datathon de Análise de Dados de Evasão Fiscal. 2018. (Outro).
NETO, Adolfo ; SALINAS, M.R.N. . Datathon de Análise de Dados de Evasão Fiscal II. 2018. (Outro).
NETO, Adolfo . Global Day of Coderetreat - Curitiba. 2017. (Outro).
NETO, Adolfo . Sétima Semana Acadêmica de Informática. 2010. (Outro).
NETO, Adolfo . INFOVIEW 2002. 2002. (Outro).
Participação em eventos
Simpósio Brasileiro de Engenharia de Software.Revisor de 3 artigos da Trillha de Pesquisa. 2023. (Simpósio).
Congresso Brasileiro de Software (CBSOFT). Cerimônia de Abertura. 2022. (Congresso).
RabbitMQ Summit. 2021. (Outra).
Code BEAM Brasil 2020. How podcasts can help you learn Elixir and become a better developer. 2020. (Congresso).
Congresso da Sociedade Brasilieira de Computação. 2020. (Congresso).
Elixir Brasil 2020 Virtual. Painel Educação. 2020. (Congresso).
SABER UFPR.INTRODUÇÃO À LINGUAGEM ELIXIR! - Minicurso. 2020. (Outra).
SABER UFPR.EMÍLIAS PODCAST E EMÍLIAS ARMAÇÃO EM BITS - Palestra. 2020. (Outra).
Elixir Brasil 2019. A Comunidade de Elixir: uma caracterização preliminar. 2019. (Congresso).
Elixir Brasil 2018. 2018. (Congresso).
Congresso Brasileiro de Software. 2017. (Congresso).
Meetup Elixir Curitiba.Programando em Elixir: um ponto de vista acadẽmico. 2017. (Encontro).
Semana Technológica 2017.Programando em Elixir. 2017. (Outra).
Workshop de Engenharia de Software Baseada em Busca (WESB).Métodos Evolucionários e o Next Release Problem. 2017. (Oficina).
Workshop de Teses e Dissertações em Engenharia de Software. 2017. (Oficina).
SalaMundo 2011 - Encontro Internacional de Educação. 2011. (Encontro).
Simpósio Brasileiro de Qualidade de Software.Pesquisa em Métodos Ágeis para o Desenvolvimento de Software. 2011. (Simpósio).
12o. Encontro Locaweb. 2010. (Encontro).
Final Brasileira da Maratona de Programação.Coach on-site da equipe "Sudo make a sandwich". 2010. (Outra).
Python Brasil http://www.pythonbrasil.org.br/2010. 2010. (Encontro).
Science, Truth and Consistency.A KE Tableau System for the Paraconsistent Logic C1 and an Efficient Implementation of a Theorem Prover for C1. 2009. (Encontro).
I Seminário de Docência de Disciplinas de Matemática no Ensino Superior. 2008. (Seminário).
Semana de Empregabilidade e Empreendedorismo (SEEMPRE). 2008. (Encontro).
15º Simpósio Internacional de Iniciação Científica da Universidade de São Paulo.Relação entre a Percentagem de Partos Vaginais e a Quantidade de Médicos por Habitante em Cidades Brasileiras de Médio Porte. 2007. (Simpósio).
VII Simpósio de Produção Científica do Centro Universitário Moura Lacerda.O uso de blogs como ferramentas de apoio ao ensino de programação: um estudo de caso. 2007. (Simpósio).
Windows Academic Days Brazil (com Arkady Retik e Dave Probert). 2007. (Oficina).
IFIP TC12 and WG12.5 -- Conference and Symposium on Artificial Intelligence. IFIP TC12 and WG12.5 - Conference and Symposium on Artificial Intelligence. 2006. (Congresso).
II SIMPÓSIO DE INICIAÇÃO CIENTÍFICA E PÓS-GRADUAÇÃO DO IME-USP.Effective Prover for Logics of Formal Inconsistency. 2006. (Simpósio).
International Joint Conference - SBIA - IBERAMIA - SBRN. 2006. (Simpósio).
CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO.IMPLEMENTING A MULTI-STRATEGY THEOREM PROVER. 2005. (Seminário).
CONGRESSO DA SOCIEDADE BRASILEIRA DE COMPUTAÇÃO. 2003. (Congresso).
Resgatando o conhecimento perdido de como funciona o corpo das mulheres, pela parteira americana Ina May Gaskin, em 8/12/03, carga horária de 4 horas. 2003. (Oficina).
XI Simpósio Brasileiro de Inteligência Artificial. 1994. (Simpósio).
Participação em bancas
LUGO, G. A. G.SECA NETO, ADOLFO GUSTAVO S.TACLA, C.A.; SILVA, F.; SILVA, J. L.. ChatGPT: Inteligência Artificial, Pensamento e Linguagem em Questão. 2025. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.
NETO, Adolfo; KNIESS, J.; VASCONCELLOS, C. D.; RIBEIRO, R.. Test Generation from TLA+ Specifications. 2022. Dissertação (Mestrado em Computação Aplicada) - Universidade do Estado de Santa Catarina.
SCANNAVINO, K. R. F.; PEREIRA, R.;NETO, Adolfo. Processo de tomada de decisão baseado em evidências e experiência prática em uma empresa de saúde de médio porte. 2022. Dissertação (Mestrado em Informática) - Universidade Tecnológica Federal do Paraná.
WEHRMEISTER, M. A.;NETO, Adolfo; FREITAS, E. P.; SIMAO, J. M.. Abordagem para Especificação das Ocorrências de Características Transversais em Software Embarcado. 2020. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.
EMER, Maria Claudia F. P.NETO, Adolfo; AMARAL, M. A.; VALENTIM, N. M. C.. Um Método de Referência e Ferramenta para a Especificação de Requisito de Experiência do Usuário. 2020. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.
NETO, AdolfoBASTOS, LC; SETTI, M. O. G.; FONTANA, R. M.. Abordagem de pontos de função no desenvolvimento de sistemas utilizando práticas ágeis. 2019. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.
BASTOS, LC; VERGILIO, S. R.;LOPES, H. S.NETO, Adolfo. Seleção de requisitos de software utilizando métodos meta-heurísticos. 2019. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.
BETINI, R. C.; POUBEL, S. B.;NETO, Adolfo; GRAEML, A. R.. Monitoramento da taxa saturação de oxigênio no sangue via método de Magnificação de Vídeo Euleriana. 2019. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.
NETO, AdolfoBASTOS, LC; PEREIRA, R.. Jogo sério para ensino e prática de detecção de outliers. 2018. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.
PIMENTEL, A. R.NETO, Adolfo; VERGILIO, S. R.. User Story Generation through Software Specification in Natural language. 2018. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.
NETO, Adolfo; WEHRMEISTER, M. A.; FONTANA, R. M.. WS-TDD - Uma abordagem ágil para o desenvolvimento de serviços web. 2016. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.
BASTOS, LCNETO, AdolfoPIMENTEL, A. R.; KOZIEVITCH, N. P.. Influência da Revisão de Atividades Executadas para Melhoria da Acurácia na Estimativa de Software Utilizando Planning Poker. 2015. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.
NETO, Adolfo; REINEHR, Sheila;NORONHA, RVEMER, Maria Claudia F. P.. Programação em Par: investigando sua eficácia perante tarefas de modelagem e construção de software. 2013. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.
BASTOS, LCEMER, Maria Claudia F. P.; REINEHR, Sheila;NETO, Adolfo. Análise do Processo de Manutenção de Software com Enfoque na Utilização dos Custos de Mudanças. 2013. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.
WASSERMANN, R.; COZMAN, F.;NETO, Adolfo. Análise Empírica de Algoritmos de Revisão sobre Bases de Crenças. 2013. Dissertação (Mestrado em Ciências da Computação) - Universidade de São Paulo.
NETO, AdolfoEMER, Maria Claudia F. P.PIMENTEL, A. R.. A Influência do Dojo de Programação no Ensino de Práticas Ágeis. 2013. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.
LUGO, G. A. G.TACLA, C.A.NETO, Adolfo. Uma Arquitetura para Computação Sensível ao Contexto Apliacada a Processos de Software. 2012. Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.
TACLA, C.A.; BORDINI, R. H.;SCALABRIN, E. E.NETO, AdolfoLUGO, G. A. G.. Cálculo da Força de Argumentos Retóricos e sua Utilização em Diálogos de Negociação Persuasiva em Sistemas Multi-agente. 2018. Tese (Doutorado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.
SILVA, F.;FINGER, MarceloNETO, AdolfoDIRENE, A. I.; CARMO, R.. Um Método de Pré-Processamento de Fórmulas SAT e Pseudo-boolean baseado em técnicas de Programação Linear Inteira Mista. 2015. Tese (Doutorado em Informática) - Universidade Federal do Paraná.
NETO, Adolfo. A Scrum-inspired approach for the Software Product Line scoping. 2013. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco.
SCALABRIN, E. E.; BORDINI, R. H.;NETO, Adolfo. Cálculo da força de argumentos retóricos e sua aplicação em diálogos de negociação persuasiva em sistemas multi-agente. 2015. Exame de qualificação (Doutorando em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.
BASTOS, LAUDELINO CORDEIROSECA NETO, ADOLFO GUSTAVO S.EMER, Maria Claudia F. P.. INFRAESTRUTURA COMO CÓDIGO: ESTUDO DE CASO NUMA EMPRESA DE SERVIÇOS UTILIZANDO TERRAFORM COM INTEGRAÇÃO E ENTREGA CONTÍNUAS COM JENKINS NA COMPUTAÇÃO EM NUVEM. 2023. Exame de qualificação (Mestrando em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.
BETINI, R. C.SECA NETO, ADOLFO GUSTAVO S.BASTOS, LC; LINHARES, R. R.. Sistema para monitoramento da saúde de pacientes em situações de emergência. 2023. Exame de qualificação (Mestrando em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.
NETO, Adolfo; RIBEIRO, R.; ROGGIA, K. G.. TEST GENERATION FROM TLA+ SPECIFICATIONS. 2021. Exame de qualificação (Mestrando em Computação Aplicada) - Universidade do Estado de Santa Catarina.
EMER, Maria Claudia F. P.NETO, Adolfo; VERGILIO, S. R.. Priorização de testes baseada em alterações nos repositórios de versionamento de software. 2020.
EMER, Maria Claudia F. P.PIMENTEL, A. R.NETO, Adolfo. O uso de elementos de jogos para apoiar o ensino de Testes de Software. 2020. Exame de qualificação (Mestrando em Computação Aplicada) - Universidade Tecnológica Federal do Paraná.
RONSZCKA, A. F.;NETO, AdolfoEMER, Maria Claudia F. P.. SOLUÇÃO IOT PARA AUXÍLIO NA LOCALIZAÇÃO E RECUPERAÇÃO DE ITENS PERDIDOS OU EXTRAVIADOS. 2020. Monografia (Aperfeiçoamento/Especialização em Especialização em Desenvolvimento Móvel e Internet das Coisas) - Universidade Tecnológica Federal do Paraná.
NETO, AdolfoEMER, Maria Claudia F. P.; FABRO, J. A.. ESCOLA DIGITAL: SOFTWARE DESENVOLVIDO COLABORATIVAMENTE COM ADMINISTRADORES E EDUCADORES DA EDUCAÇÃO INFANTIL. 2020. Monografia (Aperfeiçoamento/Especialização em Especialização em Desenvolvimento Móvel e Internet das Coisas) - Universidade Tecnológica Federal do Paraná.
NETO, AdolfoEMER, Maria Claudia F. P.; LINHARES, R. R.. ARK PROJECT: APLICATIVO DE GERENCIAMENTO DE EVENTOS. 2020. Monografia (Aperfeiçoamento/Especialização em Especialização em Desenvolvimento Móvel e Internet das Coisas) - Universidade Tecnológica Federal do Paraná.
NETO, AdolfoLOPES, H. S.LUGO, G. A. G.. Otimização de Métodos de Prova em Tablôs KE através da Aplicação de uma Heurística baseada em Algoritmos Genéticos. 2013. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Tecnológica Federal do Paraná.
DELGADO, Myriam R. B. S.; GONÇALVES, Marcelo M.;NETO, Adolfo. Processo Seletivo para Professor de Ensino Básico, Técnico e Tecnológico no Campus Curitiba. 2009. Universidade Tecnológica Federal do Paraná.
Orientou
Unsafe Impedance Developments; Início: 2025; Dissertação (Mestrado profissional em Computação Aplicada) - Universidade Tecnológica Federal do Paraná; (Orientador);
Robotics and Elixir; Início: 2025; Dissertação (Mestrado profissional em Computação Aplicada) - Universidade Tecnológica Federal do Paraná; (Orientador);
Provisório: Relacionado a Redes e Erlang; Início: 2025; Dissertação (Mestrado profissional em Computação Aplicada) - Universidade Tecnológica Federal do Paraná; (Coorientador);
Podcasts para Pessoas Desenvolvedoras de Software; Início: 2023; Dissertação (Mestrado profissional em Computação Aplicada) - Universidade Tecnológica Federal do Paraná; (Orientador);
Provisório: Algo relacionado a Elixir e IA; Início: 2025; Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Tecnológica Federal do Paraná; (Orientador);
Um Chatbot para Obter Informações Sobre Aposentadoria (título provisório); Início: 2025; Trabalho de Conclusão de Curso (Graduação em Sistema de Informação) - Universidade Tecnológica Federal do Paraná; (Orientador);
Estágio; Início: 2025; Orientação de outra natureza; Universidade Tecnológica Federal do Paraná; (Orientador);
ADoTe: Abordagem para o ensino e aprendizagem de critérios de teste da técnica funcional; 2024; Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, ; Coorientador: Adolfo Gustavo Serra Seca Neto;
Modelo De Contratação Ágil Do Tribunal De Contas Da União: Um Estudo De Caso Etnográfico; 2024; Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, ; Orientador: Adolfo Gustavo Serra Seca Neto;
Combinando Planning Poker e Aprendizado de Máquina para Estimar Esforço de Software; 2021; Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, ; Coorientador: Adolfo Gustavo Serra Seca Neto;
Dojo de aprendizagem de programação de computadores; 2019; Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, ; Orientador: Adolfo Gustavo Serra Seca Neto;
Short Datathon para o desenvolvimento interdisciplinar de habilidades de análise e visualização de dados; 2019; Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, UTFPR; Orientador: Adolfo Gustavo Serra Seca Neto;
Abordagem de pontos de função no desenvolvimento de sistemas utilizando práticas ágeis; 2019; Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, ; Coorientador: Adolfo Gustavo Serra Seca Neto;
Jogo sério para ensino e prática de detecção de outliers; 2018; Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, ; Orientador: Adolfo Gustavo Serra Seca Neto;
Ferramenta para o apoio ensino-aprendizagem do modelo orientado a objetos durante a construção do Diagrama de Classes; 2017; Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, ; Coorientador: Adolfo Gustavo Serra Seca Neto;
WS-TDD: uma abordagem ágil para o desenvolvimento de serviços WEB; 2016; Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, ; Orientador: Adolfo Gustavo Serra Seca Neto;
Priorização de testes de sistema automatizados por meio de grafos de chamadas; 2016; Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, ; Coorientador: Adolfo Gustavo Serra Seca Neto;
A Influência do Dojo de Programação no Ensino de Práticas Ágeis; 2013; Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, ; Orientador: Adolfo Gustavo Serra Seca Neto;
Teste baseado em defeitos para ambientes de Data Warehouse; 2013; Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, Tribunal de Contas do Estado do Paraná; Coorientador: Adolfo Gustavo Serra Seca Neto;
Programação em Par: investigando sua eficácia perante tarefas de modelagem e construção de software; 2011; Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, ; Orientador: Adolfo Gustavo Serra Seca Neto;
Abordagem para a elicitação de requisitos de software baseada em modelo de processo de negócio; 2011; Dissertação (Mestrado em Computação Aplicada) - Universidade Tecnológica Federal do Paraná, ; Coorientador: Adolfo Gustavo Serra Seca Neto;
ESCOLA DIGITAL: SOFTWARE DESENVOLVIDO COLABORATIVAMENTE COM ADMINISTRADORES E EDUCADORES DA EDUCAÇÃO INFANTIL; 2020; Monografia; (Aperfeiçoamento/Especialização em Especialização em Desenvolvimento Móvel e Internet das Coisas) - Universidade Tecnológica Federal do Paraná; Orientador: Adolfo Gustavo Serra Seca Neto;
ARK PROJECT: APLICATIVO DE GERENCIAMENTO DE EVENTOS; 2020; Monografia; (Aperfeiçoamento/Especialização em Especialização em Desenvolvimento Móvel e Internet das Coisas) - Universidade Tecnológica Federal do Paraná; Orientador: Adolfo Gustavo Serra Seca Neto;
REEXPLORER: Uma Ferramenta de Suporte à Engenharia de Requisitos; 2013; Monografia; (Aperfeiçoamento/Especialização em Especialização em Tecnologias Java) - Universidade Tecnológica Federal do Paraná; Orientador: Adolfo Gustavo Serra Seca Neto;
Detecção de Engarrafamentos através de smartphones; 2012; Monografia; (Aperfeiçoamento/Especialização em Especialização em Tecnologias Java) - Universidade Tecnológica Federal do Paraná; Orientador: Adolfo Gustavo Serra Seca Neto;
Aplicação para gestantes en dispositivos móveis utilizando armazenamento e sincronização em nuvem; 2012; Monografia; (Aperfeiçoamento/Especialização em Especialização em Tecnologias Java) - Universidade Tecnológica Federal do Paraná; Orientador: Adolfo Gustavo Serra Seca Neto;
SISTEMA DE BUSCA DE NÚMEROS PRIMOS USANDO A TECNOLOGIA JAVA COM DISTRIBUIÇÃO DE PROCESSAMENTO; 2009; Monografia; (Aperfeiçoamento/Especialização em Especialização em Tecnologias Java) - Universidade Tecnológica Federal do Paraná; Orientador: Adolfo Gustavo Serra Seca Neto;
Frameworks Java: Comparação entre JavaServer Faces, Struts e Spring; 2009; Monografia; (Aperfeiçoamento/Especialização em Especialização em Tecnologias Java) - Universidade Tecnológica Federal do Paraná; Orientador: Adolfo Gustavo Serra Seca Neto;
Análise Do Potencial Da Linguagem Elixir No Setor De Redes Neurais; 2022; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Adolfo Gustavo Serra Seca Neto;
Otimização de Métodos de Prova em Tablôs KE através da Aplicação de uma Heurística baseada em Algoritmos Genéticos; 2013; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Tecnológica Federal do Paraná; Orientador: Adolfo Gustavo Serra Seca Neto;
Reengenharia de um demosntrador automático de teoremas; 2011; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Tecnológica Federal do Paraná, Fundação Araucária; Orientador: Adolfo Gustavo Serra Seca Neto;
Design de Fórmulas Lógicas; 2010; Iniciação Científica; (Graduando em Bacharelado em Sistemas de Informação) - Universidade Tecnológica Federal do Paraná, UTFPR; Orientador: Adolfo Gustavo Serra Seca Neto;
Implementação de uma Estratégia Eficiente para a Lógica C1 em um Provador de Teoremas Multi-Estratégia; 2009; Iniciação Científica; (Graduando em Bacharelado em Sistemas de Informação) - Universidade Tecnológica Federal do Paraná, Universidade Tecnológica Federal do Paraná; Orientador: Adolfo Gustavo Serra Seca Neto;
Análise dos Fatores que Influenciam a Ocorrência de Cesarianas em Ribeirão Preto; 2007; Iniciação Científica; (Graduando em Medicina) - Universidade Positivo; Orientador: Adolfo Gustavo Serra Seca Neto;
Estágio Obrigatório Curricular; 2024; Orientação de outra natureza; (Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Adolfo Gustavo Serra Seca Neto;
Emílias Podcast: Mulheres na Computação; 2022; Orientação de outra natureza; (Sistemas de Informação) - Universidade Tecnológica Federal do Paraná, Fundação Araucária; Orientador: Adolfo Gustavo Serra Seca Neto;
Emílias Podcast: Mulheres na Computação; 2021; Orientação de outra natureza; (Design Gráfico) - Universidade Tecnológica Federal do Paraná, Fundação Araucária; Orientador: Adolfo Gustavo Serra Seca Neto;
Emílias Programando; 2020; Orientação de outra natureza; (Engenharia de Computação) - Universidade Tecnológica Federal do Paraná; Orientador: Adolfo Gustavo Serra Seca Neto;
Emílias Podcast: Mulheres na Computação; 2019; Orientação de outra natureza; (Sistemas de Informação) - Universidade Tecnológica Federal do Paraná, Fundação Araucária; Orientador: Adolfo Gustavo Serra Seca Neto;
Emílias Programando; 2019; Orientação de outra natureza; (Sistemas de Informação) - Universidade Tecnológica Federal do Paraná, Fundação Araucária; Orientador: Adolfo Gustavo Serra Seca Neto;
Programa de Assistência ao Ensino (PAE) da UTFPR nas disciplinas Computação 1 e Computação 2; 2009; Orientação de outra natureza; (Engenharia Industrial Elétrica) - Universidade Tecnológica Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Adolfo Gustavo Serra Seca Neto;
Monitoria em Lógica para Computação; 2009; Orientação de outra natureza; (Engenharia de Computação) - Universidade Tecnológica Federal do Paraná, Universidade Tecnológica Federal do Paraná; Orientador: Adolfo Gustavo Serra Seca Neto;
Produções bibliográficas
-
BELINSKI, V. ; SECA NETO, ADOLFO GUSTAVO S. ; EMER, MARIA CLÁUDIA F. P. . ADoTe: Approach to teaching and learning functional testing technique criteria supported by Testing Dojo. JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT , v. 13, p. 26-60, 2025.
-
BISSI, WILSON ; SERRA SECA NETO, ADOLFO GUSTAVO ; EMER, MARIA CLAUDIA FIGUEIREDO PEREIRA . The Effects of Test Driven Development on Internal Quality, External Quality and Productivity: A systematic review. INFORMATION AND SOFTWARE TECHNOLOGY , v. 74, p. 45-54, 2016.
-
CHIARELLO, MARCOS A. ; EMER, MARIA CLÁUDIA F. P. ; NETO, ADOLFO GUSTAVO S. S. . An Approach of Software Requirements Elicitation Based on the Model and Notation Business Process (BPMN). Lecture Notes on Software Engineering , v. 2, p. 65-70, 2014.
-
SANTOS, P. H. ; BETINI, R. C. ; NETO, ADOLFO G. S. S. . Scrum em sistemas heterogêneos e equipes distribuídas. Engenharia de Software Magazine , v. 55, p. 1, 2013.
-
NETO, ADOLFO ; Kaestner, Celso A.A. ; FINGER, Marcelo . Towards an Efficient Prover for the C1 Paraconsistent Logic. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE , v. 256, p. 87-102, 2009.
-
SANTOS, V. A. (Org.) ; PINTO, G. H. L. (Org.) ; NETO, ADOLFO G. SERRA SECA (Org.) . Agile Methods. 1. ed. , 2018. v. 1.
-
SERRA-SECA-NETO, ADOLFO G. . A Multi-Strategy Tableau Prover. 1. ed. Saarbrucken: Novas Edições Acadêmicas, 2017. v. 1. 164p .
-
BARATA, J. C. ; LISBOA, D. ; BASTOS, L. ; SECA NETO, A. G. S. . Agile requirements engineering practices: a survey in Brazilian software development companies. WBMA 2021: Agile Methods. 1ed.: , 2023, v. , p. 110-119.
-
Lautert, Tatiane ; NETO, ADOLFO GUSTAVO SERRA SECA ; Kozievitch, Nádia P. . A Survey on Agile Practices and Challenges of a Global Software Development Team. Communications in Computer and Information Science. 1ed.: Springer International Publishing, 2019, v. , p. 128-143.
-
Salinas, Myrian R. Noguera ; NETO, ADOLFO G. SERRA SECA ; EMER, Maria Claudia F. P. . Concerns and Limitations in Agile Software Development: A Survey with Paraguayan Companies. Communications in Computer and Information Science. 1ed.: Springer International Publishing, 2018, v. , p. 77-87.
-
Aquino, Nelson Marcelo Romero ; NETO, ADOLFO GUSTAVO SERRA SECA ; Lopes, Heitor Silvério . A Study on the Perception of Researchers About the Application of Agile Software Development Methods in Research. Communications in Computer and Information Science. 1ed.: Springer International Publishing, 2018, v. , p. 137-145.
-
NETO, ADOLFO ; FINGER, Marcelo . Effective Prover for Minimal Inconsistency Logic. In: Max Bramer. (Org.). Artificial Intelligence in Theory and Practice. : Springer, 2006, v. 217, p. 465-474.
-
NETO, Adolfo . REVIEW OF "TUTORIAL ON LINEAR LOGIC". JOURNAL OF THE INTEREST GROUP IN PURE AND APPLIED LOGICS, , v. 3 (5), p. 811 - 812, 01 set. 1995.
-
AREIAS, FERNANDO ; NETO, Adolfo . ERLDA: Explorando Concorrência e Resiliência com SEDA em Erlang. In: Workshop em Engenharia de Software para Programação Funcional, 2025, Brasil. Anais do I Workshop em Engenharia de Software para Programação Funcional (SE4FP 2025), 2025. v. único. p. 27-32.
-
NOVAES, TAINARA SILVA ; SOARES, LARISSA BEHRENS ; NETO, Adolfo ; SETTI, MARIANGELA ; EMER, MARIA CLAUDIA FIGUEIREDO PEREIRA . Desafios e Motivações de Mulheres na Computação - Análise de Entrevistas de um Podcast. In: Women in Information Technology, 2025, Brasil. Anais do XIX Women in Information Technology (WIT 2025). v. unico. p. 207.
-
BARNEY, LEE ; NETO, Adolfo . Unsafe Impedance: Safe Languages and Safe by Design Software. In: Erlang '24: 23rd ACM SIGPLAN International Workshop on Erlang, 2024, Milan Italy. Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang. New York: ACM, 2024. v. único. p. 76-83.
-
NOVAES, TAINARA SILVA ; LINS, KATHLEEN DANIELLY SOUZA ; SECA NETO, ADOLFO GUSTAVO S. ; SETTI, MARIANGELA DE OLIVEIRA GOMES ; EMER, MARIA CLAUDIA FIGUEIREDO PEREIRA . Despertando o Interesse de Mulheres para os Cursos em STEM. In: Women in Information Technology, 2023, Brasil. Anais do XVII Women in Information Technology (WIT 2023). Porto Alegre: Sociedade Brasileira de Computação - SBC, 2023. v. único. p. 103-112.
-
SOARES, L. B. ; SECA NETO, ADOLFO GUSTAVO S. . Revisão bibliográfica sobre gênero em aplicações de Inteligência Artificial. In: XIII Seminário de Extensão e Inovação & XXVIII Seminário de Iniciação Científica e Tecnológica da UTFPR, 2023, Ponta Grossa. Anais do XIII Seminário de Extensão e Inovação & XXVIII Seminário de Iniciação Científica e Tecnológica da UTFPR, 2023. v. SEI. p. 1-6.
-
SANTOS, N. C. ; DOMINGOS, J. G. B. ; COSTA, L. G. A. ; SECA NETO, ADOLFO GUSTAVO S. . Por Trás das Narrativas: Nossa Experiência no Emílias Podcast como Agentes de Mudança. In: XIII Seminário de Extensão e Inovação & XXVIII Seminário de Iniciação Científica e Tecnológica da UTFPR, 2023, Ponta Grossa. Anais do XIII Seminário de Extensão e Inovação & XXVIII Seminário de Iniciação Científica e Tecnológica da UTFPR, 2023.
-
FELISBINO, CLÁUDIO MARCIO ; NETO, ADOLFO GUSTAVO SERRA SECA ; BASTOS, LAUDELINO CORDEIRO . Supporting to the teaching and learning process in object orientation during the construction of class diagrams. In: the XXXII Brazilian Symposium, 2018, Sao Carlos. Proceedings of the XXXII Brazilian Symposium on Software Engineering - SBES '18. New York: ACM Press, 2018. p. 338.
-
RANGEL, J. A. ; EMER, Maria Claudia F. P. ; NETO, ADOLFO GUSTAVO SERRA SECA . A SERIOUS GAME AS A TOOL FOR TEACHING OUTLIER AND FRAUD DETECTION: A CASE STUDY. In: SBGames, 2018, Foz do Iguaçú. Anais do SBGames 2018, 2018. v. Único.
-
BASNIAK, R. ; SERRA SECA NETO, ADOLFO GUSTAVO ; BASTOS, LC ; EMER, Maria Claudia F. P. . Métodos Evolucionários e o Next Release Problem. In: Workshop de Engenharia de Software Baseada em Busca (WESB), 2017, Fortaleza. Anais do VIII Workshop de Engenharia de Software Baseada em Busca (WESB), 2017. v. 1. p. 1-10.
-
LUZ, RAMIRO BATISTA DA ; NETO, ADOLFO GUSTAVO SERRA SECA ; NORONHA, ROBINSON VIDA . Teaching TDD, the Coding Dojo Style. In: 2013 IEEE 13th International Conference on Advanced Learning Technologies (ICALT), 2013, Beijing. 2013 IEEE 13th International Conference on Advanced Learning Technologies, 2013. p. 371.
-
LIMA, V. C. M. ; NETO, ADOLFO G. S. S. ; EMER, Maria Claudia F. P. . Investigação experimental e Práticas ágeis: ameaças à validade de experimentos envolvendo a prática ágil Programação em Par. In: Workshop Brasileiro de Métodos Ágeis, 2012, São Paulo. 3rd Brazilian Workshop on Agile Methods (WBMA?2012), 2012.
-
LUZ, R. B. ; NETO, ADOLFO . Usando Dojos de Programação para o Ensino de Desenvolvimento Dirigido por Testes. In: Simpósio Brasileiro de Informática na Educação, 2012, Rio de Janeiro. Anais do Simpósio Brasileiro de Informática na Educação 2012. -: -, 2012. v. 1. p. 1-1.
-
NETO, ADOLFO ; KAESTNER, C. A. A. ; FINGER, Marcelo . Towards an efficient prover for the C1 paraconsistent logic. In: Workshop on Logical and Semantic Frameworks, with Applications (LSFA), 2009, Brasília. Procedings of LSFA'09, 2009.
-
NETO, ADOLFO ; FINGER, Marcelo . KEMS - A Multi-Strategy Tableau Prover. In: VI Best MSc Dissertation/PhD Thesis Contest (CTDIA 2008), 2008, Salvador, Bahia. WTDIA & CTDIA Proceedings, 2008.
-
NETO, Adolfo ; FINGER, Marcelo . A KE Tableau for a Logic of Formal Inconsistency. In: TABLEAUX 2007 - Automated Reasoning with Analytic Tableaux and Related Methods, 2007, Aix en Provence. Proceedings of TABLEAUX'07 position papers and Workshop on Agents, Logic and Theorem Proving. Marseille: Technical Report (LSIS.RR.2007.002) of the LSIS/Université Paul Cézanne, 2007.
-
Estombelo-Montesco, Carlos ; Chiodi, Douglas ; KUDO, T. ; NETO, ADOLFO G. S. S. ; PRADO, F. P. A. ; MACEDO, A. A. . Retrieval of document parts using Bayesian Networks and entropy as a degree of (dis)organization. In: INEX 2007 Workshop, 2007, Schloss Dagstuhl. Pre-Proceedings of INEX 2007, 2007. p. 327-336.
-
NETO, ADOLFO ; FINGER, Marcelo . Effective Prover for Minimal Inconsistency Logic. In: IFIP AI 2006 (part of IIFIP 19th World Computer Congress, 2006), 2006, Santiago, Chile. ARTIFICIAL INTELLIGENCE IN THEORY AND PRACTICE. Boston: Springer, 2006. p. 465-474.
-
NETO, Adolfo ; FINGER, Marcelo . Implementing a Multi-Strategy Theorem Prover. In: Encontro Nacional de Inteligência Artificial - ENIA, 2005, São Leopoldo - RS. Anais do V Encontro Nacional de Inteligência Artificial, 2005. p. 861-871.
-
NETO, ADOLFO G. S. S. ; FINGER, Marcelo . Using Aspect-Oriented Programming in the Development of a Multi-Strategy Theorem Prover. In: II Jornada do Conhecimento e da Tecnologia, 2005, Marília-SP. Anais da II Jornada do Conhecimento e da Tecnologia, 2005.
-
NETO, ADOLFO G. S. S. . Um modelo de dados relacional difuso. In: CONFERENCIA LATINOAMERICANA DE INFORMATICA - CLEI, 1994, CIDADE DO MÉXICO. MEMORIAS DEL XX CLEI, 1994. p. 1329-1341.
-
LINS, K. D. S. ; SERRA-SECA-NETO, ADOLFO G. . EMÍLIAS PODCAST: TÃO LONGE, TÃO PERTO - ONLINE E PRESENCIAL. In: XII Seminário de Extensão e Inovação & XXVII Seminário de Iniciação Científica e Tecnológica da UTFPR, 2022, online. Anais do XII Seminário de Extensão e Inovação & XXVII Seminário de Iniciação Científica e Tecnológica da UTFPR, 2022.
-
LINS, K. D. S. ; MORIKAWA, G. ; NETO, ADOLFO GUSTAVO SERRA SECA . Emílias Podcast: Mulheres na Computação - segunda temporada. In: XI Seminário de Extensão e Inovação, 2021, Guarapuava. Anais do XI Seminário de Extensão e Inovação, 2021. v. único.
-
SIQUEIRA, M. ; NETO, ADOLFO GUSTAVO S. S. . Emílias Programando. In: X Seminário de Extensão e Inovação da UTFPR, 2020, Toledo. Anais do X Seminário de Extensão e Inovação da UTFPR, 2020. v. único.
-
SOUZA, D. N. B. ; NETO, ADOLFO GUSTAVO SERRA SECA . Emílias Podcast ? Mulheres na Computação. In: X Seminário de Extensão e Inovação da UTFPR, 2020, Toledo. Anais do X Seminário de Extensão e Inovação da UTFPR, 2020. v. único.
-
NOGUERA SALINAS, MYRIAN RAQUEL ; FIGUEIREDO PEREIRA EMER, MARIA CLAUDIA ; SERRA SECA NETO, ADOLFO GUSTAVO . Short Datathon for the Interdisciplinary Development of Data Analysis and Visualization Skills. In: 2019 IEEE/ACM 12th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE), 2019, Montreal. 2019 IEEE/ACM 12th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE), 2019. p. 95.
-
RANGEL, J. A. ; EMER, Maria Claudia F. P. ; NETO, ADOLFO G. S. S. . Jogo Sério como Facilitador de Denúncias e Detecção de Fraudes em Órgãos Públicos Governamentais. In: SBGames - Simpósio Brasileiro de Jogos e Entretenimento Digital, 2017, Curitiba. Anais do Simpósio Brasileiro de Jogos e Entretenimento Digital 2017, 2017. v. 1. p. 1.
-
LIMA, V. C. M. ; EMER, Maria Claudia F. P. ; SERRA-SECA-NETO, ADOLFO G. . Experiência bem-sucedida de adoção de Métodos Ágeis em uma Empresa Pública de Tecnologia da Informação e Comunicação: um relato preliminar. In: 4th Brazilian Workshop on Agile Methods (WBMA?2013), 2013, Brasília. Proceeding of the 4th Brazilian Workshop on Agile Methods (WBMA?2013), 2013.
-
SUGIMOTO, E.S. ; NETO, ADOLFO . Representação de Fórmulas Lógicas através de Estruturas de Dados. In: Seminário de Iniciação Científica e Tecnológica da UTFPR (SICITE), 2011, Ponta Grossa. Anais do Seminário de Iniciação Científica e Tecnológica da UTFPR (SICITE). Ponta Grossa: UTFPR, 2011.
-
NETO, ADOLFO . KEMS - Um demonstrador de teoremas multi-estratégia. In: FREEBASE 2010 - WORKSHOP DE SOFTWARE LIVRE BAHIA-ALAGOAS-SERGIPE, 2010, Maceió. FREEBASE 2010 - WORKSHOP DE SOFTWARE LIVRE BAHIA-ALAGOAS-SERGIPE, 2010.
-
NETO, Adolfo ; FINGER, Marcelo . Effective Prover for Logics of Formal Inconsistency. In: II SIMPÓSIO DE INICIAÇÃO CIENTÍFICA E PÓS-GRADUAÇÃO DO IME-USP, 2006, São Paulo. II SIMPÓSIO DE INICIAÇÃO CIENTÍFICA E PÓS-GRADUAÇÃO DO IME-USP, 2006.
-
NETO, Adolfo . A Multi-Strategy Tableau Prover. In: I Simpósio de Iniciação Científica e Pós-Graduação do IME-USP, 2005, São Paulo. I Simpósio de Iniciação Científica e Pós-Graduação do IME-USP, 2005.
-
NETO, ADOLFO . O uso de blogs como ferramentas de apoio ao ensino de programação: um estudo de caso. In: VII Simpósio de Produção Científica do Centro Universitário Moura Lacerda, 2007, Ribeirão Preto. VII Simpósio de Produção Científica do Centro Universitário Moura Lacerda, 2007.
-
NALLIN, W. ; NETO, ADOLFO . Relação entre a Percentagem de Partos Vaginais e a Quantidade de Médicos por Habitante em Cidades Brasileiras de Médio Porte. In: I Encontro Positivo de Pesquisa e Iniciação Científica - EPPIC, 2007, Curitiba. I Encontro Positivo de Pesquisa e Iniciação Científica - EPPIC, 2007.
-
NALLIN, W. ; NETO, ADOLFO . Humanização do parto no Brasil: reflexão e revisão das práticas médicas convencionais. In: I Encontro Positivo de Pesquisa e Iniciação Científica - EPPIC, 2007, Curitiba. I Encontro Positivo de Pesquisa e Iniciação Científica - EPPIC, 2007.
-
NALLIN, W. ; NETO, ADOLFO . Relação entre a Percentagem de Partos Vaginais e a Quantidade de Médicos por Habitante em Cidades Brasileiras de Médio Porte. In: 15º Simpósio Internacional de Iniciação Científica da Universidade de São Paulo, 2007, Ribeirão Preto. 15º Simpósio Internacional de Iniciação Científica da Universidade de São Paulo, 2007.
-
NETO, Adolfo . A Multi-Strategy Theorem Prover. In: Workshop Semantics and Meaning, 2005, Campinas. Workshop Semantics and Meaning, 2005.
-
SERRA-SECA-NETO, ADOLFO G. . Divulgação Científica: a experiência do podcast Fronteiras da Engenharia de Software. 2022. (Apresentação de Trabalho/Conferência ou palestra).
-
SERRA-SECA-NETO, ADOLFO G. . Learning Erlang and Elixir through Exercism and Advent of Code. 2022. (Apresentação de Trabalho/Conferência ou palestra).
-
SERRA-SECA-NETO, ADOLFO G. . Aprendendo Erlang e Elixir através do Exercism e do Advent of Code. 2022. (Apresentação de Trabalho/Conferência ou palestra).
-
SERRA-SECA-NETO, ADOLFO G. ; TAVANO, L. C. . Comparing Elixir and Python when working with Simple Neural Networks. 2022. (Apresentação de Trabalho/Conferência ou palestra).
-
SERRA-SECA-NETO, ADOLFO G. . A experiência de divulgação científica do podcast Fronteiras da Engenharia de Software. 2022. (Apresentação de Trabalho/Conferência ou palestra).
-
GUSTAVO SERRA SECA NETO, ADOLFO . RS Entrevista Professor Adolfo Neto. 2020. (Apresentação de Trabalho/Comunicação).
-
SERRA SECA NETO, ADOLFO GUSTAVO . How podcasts can help you learn Elixir and become a better developer. 2020. (Apresentação de Trabalho/Congresso).
-
SERRA SECA NETO, ADOLFO GUSTAVO ; EMER, Maria Claudia F. P. . EMÍLIAS PODCAST E EMÍLIAS ARMAÇÃO EM BITS - Palestra SABER UFPR. 2020. (Apresentação de Trabalho/Conferência ou palestra).
-
NETO, ADOLFO GUSTAVO SERRA SECA . The Elixir Programming Language and its Community. 2018. (Apresentação de Trabalho/Conferência ou palestra).
-
SUGIMOTO, E.S. ; NETO, ADOLFO . On the Representation of Propositional Logic Formulas in Object-Oriented Programming Languages. 2011. (Apresentação de Trabalho/Outra).
-
NETO, ADOLFO ; KAESTNER, C. A. A. ; FINGER, Marcelo . A KE Tableau System for the Paraconsistent Logic C1 and an Efficient Implementation of a Theorem Prover for C1. 2009. (Apresentação de Trabalho/Comunicação).
-
NETO, Adolfo ; FINGER, Marcelo . Um Provador de Teoremas para Lógicas de Inconsistência Formal. 2006. (Apresentação de Trabalho/Seminário).
-
NETO, Adolfo . Modifications on the Implementation of a Framework for Tableau Methods 2003 (Relatório).
-
NETO, Adolfo . An Introduction to Aspect-Oriented Programming 2003 (Relatório).
-
NETO, Adolfo . An Object-Oriented implementation of a KE Tableau Prover 2003 (Relatório).
-
NETO, Adolfo ; MENEZES, E. X. . Fazer, Revisar, Refazer 2003 (Padrão pedagógico).
Outras produções
NETO, ADOLFO GUSTAVO SERRA SECA . Tableaux. 2018.
NETO, ADOLFO GUSTAVO SERRA SECA . Lohic. 2018.
SERRA SECA NETO, ADOLFO GUSTAVO . Testes Automatizados para Lógica Clássica Proposicional. 2018.
NETO, ADOLFO . Logicamente-UTFPR. 2010.
NETO, Adolfo . KEMS - A KE-based Multi-Strategy Theorem Prover. 2006.
NETO, Adolfo . MSTP - A Multi-Strategy Theorem Prover. 2004.
SECA NETO, ADOLFO GUSTAVO S. . Review for Journal of Software Engineering and Research Development (JSERD). 2024.
SECA NETO, ADOLFO GUSTAVO S. . Review for Information and Software Technology. 2024.
GUSTAVO SERRA SECA NETO, ADOLFO . Curso de Elixir Sequencial. 2022.
GUSTAVO SERRA SECA NETO, ADOLFO . Aprenda Erlang Para Um Grande Bem - Curso Online. 2021.
GUSTAVO SERRA SECA NETO, ADOLFO . ENIAC 2019 review for paper #197936. 2019.
GUSTAVO SERRA SECA NETO, ADOLFO . ENIAC 2019 review for paper #198799. 2019.
GUSTAVO SERRA SECA NETO, ADOLFO . CBSoft 2019 - WTDSOFT review for paper #196157. 2019.
GUSTAVO SERRA SECA NETO, ADOLFO . CBSoft 2019 - Sessão de Ferramentas review for paper #196093. 2019.
GUSTAVO SERRA SECA NETO, ADOLFO . Review for ThEdu'19 submission 4. 2019.
GUSTAVO SERRA SECA NETO, ADOLFO . Review for WBMA 19 submission 15. 2019.
GUSTAVO SERRA SECA NETO, ADOLFO . Review for WBMA 19 submission 22. 2019.
GUSTAVO SERRA SECA NETO, ADOLFO . Review for SIGCSE 2020 submission 135. 2019.
GUSTAVO SERRA SECA NETO, ADOLFO . Review for SIGCSE 2020 submission 618. 2019.
GUSTAVO SERRA SECA NETO, ADOLFO . Review for SIGCSE 2020 submission 1011 (Demos). 2019.
GUSTAVO SERRA SECA NETO, ADOLFO . Review for SIGCSE 2020 submission 1052 (Demos). 2019.
GUSTAVO SERRA SECA NETO, ADOLFO . Review for SIGCSE 2020 submission 1185 (Demos). 2019.
GUSTAVO SERRA SECA NETO, ADOLFO . Review for ThEdu'19 post-proceedings submission 11. 2019.
GUSTAVO SERRA SECA NETO, ADOLFO . Review for ThEdu'19 post-proceedings submission 10. 2019.
GUSTAVO SERRA SECA NETO, ADOLFO . Review for ThEdu'19 post-proceedings submission 12. 2019.
NETO, ADOLFO GUSTAVO SERRA SECA . Comitẽ de Programa do SIGCSE 2019. 2018.
BELINSKI, V. ; NASCIMENTO, G. G. ; SECA NETO, ADOLFO GUSTAVO S. . ADoTe: abordagem para o ensino e aprendizagem de critérios de teste da técnica funcional apoiada por dojo de teste, Vladimir Belinski (PPGCA UTFPR). 2025.
SECA NETO, ADOLFO GUSTAVO S. ; EMER, Maria Claudia F. P. . Episódios dos podcasts da Rede Emílias de Podcasts. 2024. (Programa de rádio ou TV/Entrevista).
NETO, ADOLFO GUSTAVO S. S. ; EMER, Maria Claudia F. P. ; GUERRA, E. . Fronteiras da Engenharia de Software 38: Anotações de Código (e frameworks que as usam), com Eduardo Guerra (UniBZ). 2023. (Programa de rádio ou TV/Entrevista).
NETO, ADOLFO GUSTAVO S. S. ; EMER, MARIA CLAUDIA FIGUEIREDO PEREIRA ; BARCELLOS, M. . Fronteiras da Engenharia de Software 37: Medição de Software, com Monalessa Barcellos (UFES). 2023. (Programa de rádio ou TV/Entrevista).
SECA NETO, ADOLFO GUSTAVO S. ; EMER, MARIA CLAUDIA FIGUEIREDO PEREIRA ; CARTAXO, B. . Fronteiras da Engenharia de Software 39: Pesquisa na Indústria, com Bruno Cartaxo (IFPE e StackSpot). 2023. (Programa de rádio ou TV/Entrevista).
SECA NETO, ADOLFO GUSTAVO S. ; EMER, MARIA CLAUDIA FIGUEIREDO PEREIRA ; MURTA, L. G. P. . Fronteiras da Engenharia de Software 40: Versionamento de Software, com Leonardo Murta (UFF). 2023. (Programa de rádio ou TV/Entrevista).
KARLA, N. ; SECA NETO, ADOLFO GUSTAVO S. . Ep. 14 Adolfo Neto - Carreira Acadêmica e Podcasts de Tecnologia. 2023. (Programa de rádio ou TV/Entrevista).
SECA NETO, ADOLFO GUSTAVO S. ; TORRES, H. ; GUADELUPE, C. ; PESANHA, Z. . 12 episódios do Elixir em Foco. 2022. (Programa de rádio ou TV/Entrevista).
SECA NETO, ADOLFO GUSTAVO S. . Episódios do podcast Fronteiras da Engenharia de Sofwtare. 2022. (Programa de rádio ou TV/Entrevista).
SECA NETO, ADOLFO GUSTAVO S. . Episódios do Emílias Podcast - Mulheres na Computação. 2022. (Programa de rádio ou TV/Entrevista).
SECA NETO, ADOLFO GUSTAVO S. ; GUADELUPE, C. ; TORRES, H. ; PESANHA, Z. . 10 Episódios do podcast Elixir em Foco. 2021. (Programa de rádio ou TV/Entrevista).
SECA NETO, ADOLFO GUSTAVO S. . Episódios do podcast Fronteiras da Engenharia de Software. 2021. (Programa de rádio ou TV/Entrevista).
SECA NETO, ADOLFO GUSTAVO S. . Episódios do Emílias Podcast - Mulheres na Computação. 2021. (Programa de rádio ou TV/Entrevista).
SERRA SECA NETO, ADOLFO GUSTAVO . EMx 106: Elixir Education with Adolfo Neto. 2020. (Programa de rádio ou TV/Entrevista).
SERRA SECA NETO, ADOLFO GUSTAVO . RS Entrevista Professor Adolfo Neto. 2020. (Programa de rádio ou TV/Entrevista).
SERRA SECA NETO, ADOLFO GUSTAVO ; VIEIRA, C. ; BARROS, G. ; RAMALHO, L. . Painel Educação na Elixir Brasil 2020 Virtual. 2020. (Programa de rádio ou TV/Mesa redonda).
NETO, ADOLFO GUSTAVO SERRA SECA . EMx 057: The Elixir Community with Adolfo Neto. 2019. (Programa de rádio ou TV/Entrevista).
SECA NETO, ADOLFO GUSTAVO S. . Adolfo Neto's Bluesky Account. 2024. (Rede social).
SERRA SECA NETO, ADOLFO GUSTAVO . Blog Elixir UTFPR no DevTo. 2020; Tema: Programação. (Blog).
SERRA SECA NETO, ADOLFO GUSTAVO . Adolfo Neto on DevTo. 2020; Tema: Programming. (Blog).
SERRA SECA NETO, ADOLFO GUSTAVO . Elixir UTFPR on Twitter. 2019; Tema: Programming. (Rede social).
NETO, Adolfo . Adolfo Neto's Twitter account. 2018; Tema: Software engineering, logic, science and related topics. (Rede social).
SECA NETO, A. G. S. . Adolfo Neto's Medium. 2017; Tema: Programming (Elixir), logic and Deep Work.. (Blog).
SERRA SECA NETO, ADOLFO GUSTAVO . Adolfo Neto - Blog no Medium em Português. 2017; Tema: Programação. (Blog).
SECA NETO, A. G. S. . Qual é o Nome deste Blog?. 2012. (Blog).
BELINSKI, V. ; SECA NETO, ADOLFO GUSTAVO S. ; EMER, MARIA CLÁUDIA F. P. . ADoTe - Abordagem para o ensino e aprendizagem de critérios de teste da técnica funcional apoiada por Dojo de Teste. 2024. (Pôster).
SECA NETO, ADOLFO GUSTAVO S. ; EMER, Maria Claudia F. P. ; MONTEIRO, D. ; FERNANDES, L. ; SANTOS, I. ; SCHREDER, O. ; COSTA, H. A. X. ; PETRILLO, F. ; SILVA, M. R. ; ANDRADE, D. . 11 episódios do podcast Fronteiras da Engenharia de Software. 2023. (Podcast).
SECA NETO, ADOLFO GUSTAVO S. ; TORRES, H. ; GUADELUPE, C. ; PESANHA, Z. . 12 episódios do podcast Elixir em Foco. 2023. (Podcast).
SECA NETO, ADOLFO GUSTAVO S. ; EMER, Maria Claudia F. P. ; SANTOS, NATHALYA C. . 20 episódios do Emílias Podcast - Mulheres na Computação. 2023. (Podcast).
SECA NETO, ADOLFO GUSTAVO S. . 5 episódios do podcast Professor Adolfo Neto. 2023. (Podcast).
SECA NETO, ADOLFO GUSTAVO S. . 32 vídeos no canal Adolfo Neto. 2023. (Podcast).
SECA NETO, ADOLFO GUSTAVO S. ; BENAVIDES, B. ; KATSUBA, V. . 1 episódio do podcast Hello, Erlang!. 2023. (Podcast).
NETO, ADOLFO GUSTAVO S. S. . Curso de Elixir Sequencial (26H). 2022. (Curso de curta duração ministrado/Extensão).
SERRA-SECA-NETO, ADOLFO G. ; EMER, Maria Claudia F. P. ; NUNES, I. O. ; PETRILLO, F. ; MONTEIRO, D. ; FERNANDES, L. . 11 episódios do Fronteiras da Engenharia de Software. 2022. (Podcast).
SERRA-SECA-NETO, ADOLFO G. ; GUADELUPE, C. ; TORRES, H. ; PESANHA, Z. . 12 episódios do podcast Elxir em Foco https://anchor.fm/elixiremfoco. 2022. (Podcast).
SERRA-SECA-NETO, ADOLFO G. ; EMER, MARIA CLÁUDIA F. P. ; LINS, K. D. S. ; SANTOS, NATHALYA C. . 21 episódios do Emílias Podcast - Mulheres na Computação https://anchor.fm/emilias-podcast. 2022. (Podcast).
SERRA-SECA-NETO, ADOLFO G. ; BENAVIDES, B. ; KATSUBA, V. . 3 episódios do podcast Hello, Erlang! https://anchor.fm/helloerlang. 2022. (Podcast).
SERRA-SECA-NETO, ADOLFO G. . 14 episódios do podcast Professor Adolfo Neto https://anchor.fm/adolfont. 2022. (Podcast).
SERRA-SECA-NETO, ADOLFO G. . 38 vídeos no canal Adolfo Neto https://youtube.com/c/AdolfoNeto. 2022. (Vídeos).
GUSTAVO SERRA SECA NETO, ADOLFO . CURSO DE TREINAMENTO PARA A PLATAFORMA STREAMYARD PARA A ORGANIZAÇÃO DE EVENTOS ON-LINE PARA DOCENTES. 2020. (Curso de curta duração ministrado/Extensão).
SERRA SECA NETO, ADOLFO GUSTAVO . Produção e Divulgação de Podcasts como Atividade de Extensão. 2020. (Curso de curta duração ministrado/Extensão).
SERRA SECA NETO, ADOLFO GUSTAVO . INTRODUÇÃO À LINGUAGEM ELIXIR! - Minicurso SABER UFPR. 2020. (Curso de curta duração ministrado/Extensão).
SERRA SECA NETO, ADOLFO GUSTAVO . Canal Adolfo Neto. 2011. (Desenvolvimento de material didático ou instrucional - Vídeos diversos sobre Elixir e Desenvolvimento de Software).
NETO, ADOLFO . Métodos Ágeis para o Desenvolvimento de Software. 2010. (Curso de curta duração ministrado/Extensão).
Projetos de pesquisa
-
2018 - Atual
A Comunidade de Prática de Elixir e da BEAM, Descrição: O objetivo deste projeto é caracterizar a troca de conhecimento dentro da comunidade de prática da linguagem de programação Elixir e da BEAM (a máquina virtual da linguagem Erlang em que Elixir roda).. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Adolfo Gustavo Serra Seca Neto - Coordenador.
-
2012 - 2018
Cooperação Técnico-Científica com o Tribunal de Contas do Estado do Paraná (TCE/PR), Descrição: Cooperação intergovernamental e interinstitucional técnica e científica em Tecnologia da Informação, nas áreas de Engenharia de Software e Sistemas de Informação por meio de atividades de formação e aperfeiçoamento profissional, inclusive mediante a concessão de bolsas de pesquisa para alunos de graduação, mestrado e doutorado da UTFPR;. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado profissional: (1) . , Integrantes: Adolfo Gustavo Serra Seca Neto - Coordenador / Maria Claudia Figueiredo Pereira Emer - Integrante / Heitor Silvério Lopes - Integrante / Gustavo Alberto Gimenez Lugo - Integrante / Laudelino Bastos - Integrante / Ernesto Luis Malta Rodrigues - Integrante.
-
2008 - 2018
Reengenharia de um demonstrador de teoremas multi-estratégia, Descrição: Este é um projeto de pesquisa básica na área de lógica e semântica de programas. O objetivo é desenvolver uma nova versão (a versão 2.0) do demonstrador de teoremas KEMS, um demonstrador de teoremas multi-estratégia baseado em tablôs.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Adolfo Gustavo Serra Seca Neto - Coordenador / Marcelo Finger - Integrante / CELSO KAESTNER - Integrante / Emerson Shigueo Sugimoto - Integrante / Murilo Vicente Gonçalves da Silva - Integrante., Financiador(es): Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 1
-
2007 - 2007
FAPESP TIDIA-Aprendizado Eletrônico Fase 2, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Adolfo Gustavo Serra Seca Neto - Integrante / Alessandra Alaniz Macedo - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.
-
2005 - 2007
Logical Consequence and Combinations of Logics-Fundaments and Efficient Applications, Descrição: The notion of logical inference is of fundamental importance not only in all forms of argumentation (be it formal or informal) but also in several aspects of computing. The study of logical inference for applications requires the understanding of combinations of logical mechanisms in several guises. This project is focused on specific methods for combining logics and their semantical, algebraic and computational aspects of the resulting combined systems. From the point of view of efficient applications, approximating propositional and quantified inferences is a promising approach in the taming of the intrinsic complexities involved. Intimately related to the quest for efficiency, quantum logics and quantum computation arise as an important research area. The formidable speedup of technology requires multidisciplinary researchers involved in the hard task of providing efficient alternatives to traditional methods of inference. To cope with this challenge, the project involves 22 researchers with different backgrounds from USP and UNICAMP with the support of 8 researchers from three international research institutions.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Adolfo Gustavo Serra Seca Neto - Integrante / Marcelo Finger - Integrante / Walter Carnielli - Coordenador / Marcelo Coniglio - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro., Número de produções C, T & A: 3
-
2003 - 2016
KEMS - Um provador de teoremas multi-estratégia, Situação: Desativado; Natureza: Pesquisa. , Integrantes: Adolfo Gustavo Serra Seca Neto - Coordenador / Marcelo Finger - Integrante., Número de produções C, T & A: 12
Prêmios
2008
Aprovação em Concurso Público para Professor do Magistério Superior na área de Teoria da Computação e Linguagens, Universidade Tecnológica Federal do Paraná.
2007
1o. lugar no concurso público para provimento do cargo de Professor Adjunto, na área de Teoria da Computação, Universidade Estadual de Santa Catarina.
2007
Orientador do 3º Melhor Trabalho, sob a Forma de Pôster e Apresentação Oral, na Categoria Acadêmicos de Graduação do I Encontro Positivo de Pesquisa e Iniciação Científica, Área de Saúde Coletiva, Centro Universitário Positivo.
2006
Aprovação no concurso público para provimento do cargo de Professor, na área de Informática e Lógica de Programação, Centro Federal de Educação Tecnológica de São Paulo.
2005
Aprovação no concurso público para provimento do cargo de Professor de Magistério Superior Tecnológico, Centro Superior de Educação Tecnológica da Unicamp.
2004
Aprovação em Concurso Público para Analista de Sistemas Pleno da IMA, CAIPIMES.
2004
Aprovação em Concurso Público para ANALISTA DE DESENVOLVIMENTO DE SISTEMAS da UNICAMP, UNICAMP.
2001
Paraninfo do curso técnico de informática, Centro Federal de Educação Tecnológica de Alagoas.
1995
Aprovação no concurso público para provimento do cargo de Professor, Centro Federal de Educação Tecnológica de Alagoas.
1995
Aprovação em Concurso Público para Analista de Sistemas do SERPRO.
Histórico profissional
Endereço profissional
-
Universidade Tecnológica Federal do Paraná, Campus Curitiba, Departamento de Informática - DAINF. , Av. Sete de Setembro, 3165, Rebouças, 80230901 - Curitiba, PR - Brasil, Telefone: (41) 33104747, Fax: (41) 33104644, URL da Homepage:
Experiência profissional
2008 - Atual
Universidade Tecnológica Federal do ParanáVínculo: , Enquadramento Funcional: Professor de Magistério Superior, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
09/2019
Extensão universitária , Campus Curitiba, Departamento de Informática - DAINF.Atividade de extensão realizada, Criador e Host do Emílias Podcast.
-
08/2018
Ensino, Computação Aplicada, Nível: Pós-GraduaçãoDisciplinas ministradas, Introdução à Programação Funcional, Introduction to Functional Programming
-
03/2018
Extensão universitária , Campus Curitiba.Atividade de extensão realizada, Membro do Programa Emílias - Armação em Bits.
-
10/2013
Ensino, Sistemas de Informação, Nível: GraduaçãoDisciplinas ministradas, METODOLOGIAS ÁGEIS PARA O DESENVOLVIMENTO DE SOFTWARE
-
04/2013
Ensino, Computação Aplicada, Nível: Pós-GraduaçãoDisciplinas ministradas, Metodologia da Pesquisa
-
06/2010
Ensino, Computação Aplicada, Nível: Pós-GraduaçãoDisciplinas ministradas, Metodologias Ágeis para o Desenvolvimento de Software
-
02/2009
Ensino, Bacharelado em Sistemas de Informação, Nível: GraduaçãoDisciplinas ministradas, Lógica para Computação
-
02/2009
Ensino, Engenharia de Computação, Nível: GraduaçãoDisciplinas ministradas, Lógica para Computação
-
07/2008
Pesquisa e desenvolvimento, Campus Curitiba, Departamento de Informática - DAINF.Linhas de pesquisa
-
08/2018 - 05/2023
Direção e administração, Campus Curitiba, Diretoria de Pesquisa e Pós-Graduação.Cargo ou função, Coordenador do Programa de Pós-Graduação em Computação Aplicada (PPGCA).
-
02/2009 - 03/2018
Conselhos, Comissões e Consultoria, Campus Curitiba, Departamento de Informática - DAINF.Cargo ou função, Membro do Colegiado do Bacharelado em Sistemas de Informação.
-
10/2013 - 04/2014
Ensino, Engenharia de Computação, Nível: GraduaçãoDisciplinas ministradas, Estruturas de Dados II
-
07/2008 - 04/2014
Pesquisa e desenvolvimento, Campus Curitiba.Linhas de pesquisa
-
04/2011 - 06/2012
Direção e administração, Campus Curitiba, Departamento de Informática - DAINF.Cargo ou função, Coordenador de Curso.
-
08/2009 - 07/2010
Ensino, Engenharia de Computação, Nível: GraduaçãoDisciplinas ministradas, Matemática Discreta
-
02/2009 - 02/2010
Outras atividades técnico-científicas , Campus Curitiba, Campus Curitiba.Atividade realizada, Delegado Institucional da Sociedade Brasileira de Computação.
-
02/2009 - 07/2009
Ensino, Engenharia Industrial Elétrica, Nível: GraduaçãoDisciplinas ministradas, Computação 2
-
08/2008 - 12/2008
Ensino, Engenharia Industrial Mecânica, Nível: GraduaçãoDisciplinas ministradas, Computação 1, Computação 2
-
08/2008 - 12/2008
Ensino,Disciplinas ministradas, Informática 1
2008 - 2008
Universidade do Estado de Santa CatarinaVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto I, Carga horária: 40
Atividades
-
05/2008 - 07/2008
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Lógica e Programação em Lógica
-
03/2008 - 07/2008
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Compiladores, Teoria da Computação
-
04/2008 - 05/2008
Ensino, Tecnologia em Sistemas de Informação, Nível: GraduaçãoDisciplinas ministradas, Arquitetura e Organização de Computadores
2007 - 2007
Universidade de São PauloVínculo: Bolsista recém-doutor, Enquadramento Funcional: Bolsista de Treinamento Técnico FAPESP, Carga horária: 40, Regime: Dedicação exclusiva.
2007 - 2007
Universidade de São PauloVínculo: Livre, Enquadramento Funcional: Pesquisador Associado, Carga horária: 10
Outras informações:
Participei do projeto de pesquisa Tidia-Ae da FAPESP no Laboratório de Informática em Saúde e ImagCom (LISI), na FFCLRP - USP - Ribeirão Preto, coordenado pela professora Alessandra Alaniz Macedo.
2003 - 2007
Universidade de São PauloVínculo: Estudante de pós-graduação, Enquadramento Funcional: Doutorando, Carga horária: 40
Outras informações:
Disciplinas cursadas: Análise de Algoritmos, Programação Orientada a Objetos, Tópicos Avançados em Programação Orientada a Objetos, Introdução à Lógica, Lógicas Não Clássicas, entre outras.
Durante todo o período, desenvolvi software acadêmico utilizando as linguagens Java, AspectJ e C++. O ambiente de desenvolvimento integrado adotado foi o Eclipse.
2005 - 2005
Universidade de São PauloVínculo: ESTAGIÁRIO PAE, Enquadramento Funcional: AUXILIAR DE ENSINO, Carga horária: 6
2004 - 2004
Universidade de São PauloVínculo: ESTAGIÁRIO PAE, Enquadramento Funcional: AUXILIAR DE ENSINO, Carga horária: 6
Atividades
-
07/2007
Pesquisa e desenvolvimento, Faculdade de Filosofia Ciências e Letras de Ribeirão Preto, Departamento de Física e Matemática.Linhas de pesquisa
-
03/2003
Pesquisa e desenvolvimento, Instituto de Matemática, Estatística e Ciência da Computação, Departamento de Ciência da Computação.Linhas de pesquisa
-
07/2005 - 12/2005
Estágios , Instituto de Matemática, Estatística e Ciência da Computação.Estágio realizado, Estágio de docência na disciplina "Tópicos em Programação Orientada a Objetos".
-
07/2004 - 12/2004
Estágios , Faculdade de Economia Administração e Contabilidade.Estágio realizado, Estágio de Docência na disciplina "Introdução à Informática para Adminsitração".
1996 - 1997
Universidade Federal de AlagoasVínculo: PROFESSOR ASSISTENTE, Enquadramento Funcional: PROFESSOR SUBSTITUTO, Carga horária: 20
1995 - 1996
Universidade Federal de AlagoasVínculo: PROFESSOR ASSISTENTE, Enquadramento Funcional: PROFESSOR SUBSTITUTO, Carga horária: 20
Atividades
-
05/1995 - 02/1997
Ensino, Ciências da Computação, Nível: GraduaçãoDisciplinas ministradas, Engenharia de Programas, Engenharia de Software, Introdução à Computação, Teoria da Computação
1997 - 2003
Centro Federal de Educação Tecnológica de AlagoasVínculo: Servidor Público, Enquadramento Funcional: PROFESSOR, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
05/1997 - 05/2003
Ensino, Técnico Em Informática, Nível: Ensino MédioDisciplinas ministradas, Sistemas Operacionais, Programação II (Delphi), Programação I (Pascal), Estruturas de Dados, Algoritmos
-
05/1997 - 05/2003
Ensino, Tecnologia da Informação, Nível: GraduaçãoDisciplinas ministradas, Programação II (Java), Estrutura de Dados, Algoritmos, Engenharia de Software
2007 - 2008
Instituto Federal de São PauloVínculo: Servidor Público, Enquadramento Funcional: Professor, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
02/2008
Ensino, Automação Industrial, Nível: GraduaçãoDisciplinas ministradas, Laboratório Integrado, Linguagem de Programação Básica
-
02/2008
Ensino,Disciplinas ministradas, Informática Básica
-
02/2008
Ensino, Fabricação Mecânica, Nível: GraduaçãoDisciplinas ministradas, Informática
-
08/2007 - 12/2007
Ensino,Disciplinas ministradas, Lógica de Programação
2007 - 2007
Pontifícia Universidade Católica de Campinas, PUC CampinasVínculo: Celetista, Enquadramento Funcional: Professor Temporário, Carga horária: 4
Atividades
-
02/2007 - 06/2007
Ensino, Ciências Contábeis, Nível: GraduaçãoDisciplinas ministradas, Informática Aplicada à Contabilidade
2007 - 2007
INMETRICS LTDA EPPVínculo: Prestador de Serviços, Enquadramento Funcional: Analista de Desenvolvimento Tecnológico, Carga horária: 30
Atividades
-
02/2007 - 07/2007
Pesquisa e desenvolvimento, Gerência de Tecnologia da Informação.Linhas de pesquisa
2004 - 2004
Instituto Paulista de Ensino e PesquisaVínculo: Celetista, Enquadramento Funcional: Professor Mestre, Carga horária: 15
Atividades
-
08/2004 - 12/2004
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Banco de Dados Orientado a Objetos
-
08/2004 - 12/2004
Ensino, Administração de Redes, Nível: GraduaçãoDisciplinas ministradas, Computação Instrumental
-
08/2004 - 12/2004
Ensino, Sistemas de Informação, Nível: GraduaçãoDisciplinas ministradas, Arquivos e Bancos de Dados, Linguagem e Técnicas de Programação II
1997 - 1997
prefeitura municipal de maceioVínculo: Celetista, Enquadramento Funcional: COORDENADOR GERAL DE INFORMÁTICA, Carga horária: 40
Atividades
-
02/1997 - 04/1997
Direção e administração, Secretaria Municipal de Planejamento.Cargo ou função, Coordenador Geral de Informática.
2007 - 2007
W A Comércio e Serviços de InformáticaVínculo: Sócio, Enquadramento Funcional: Diretor de Tecnologia, Carga horária: 40
2014 - 2015
North Carolina State UniversityVínculo: Pesquisador, Enquadramento Funcional: Pesquisador Visitante, Carga horária: 40
Outras informações:
Bolsista do Programa Ciência Sem Fronteiras com verba da Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES). Supervisora na North Carolina State University: Laurie Williams.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de ADOLFO GUSTAVO SERRA SECA NETO e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?