Alan Diêgo Aurélio Carneiro

Possui graduação em Ciência da Computação pela Universidade Federal do Tocantins(2012), especialização em Sistemas Computacionais de Alta Complexidade pela Universidade Federal do Tocantins(2014), mestrado em Computação pela Universidade Federal Fluminense(2016) e doutorado em Computação pela Universidade Federal Fluminense(2020). Atualmente é Professor da Universidade Federal de Viçosa. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação. Atuando principalmente nos seguintes temas:knot, FPT, W[1]-hard, Treewidth.

Informações coletadas do Lattes em 07/11/2025

Acadêmico

Formação acadêmica

Doutorado em Computação

2016 - 2020

Universidade Federal Fluminense
Título: On the Knot-Free Vertex Deletion Problem: A Parameterized Complexity Analysis
Orientador: em Université de Montpellier ( Stéphane Bessy)
com , Ano de obtenção: 2020. Uéverton dos Santos Souza. Coorientador: Fábio Protti. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: knot; FPT; W[1]-hard; Treewidth.

Mestrado em Computação

2014 - 2016

Universidade Federal Fluminense
Título: Sobre Deadlocks e sua Resolução: dos Modelos de Grafos de Espera à Complexidade Computacional
, Ano de Obtenção: 2016.Uéverton dos Santos Souza.Coorientador: Fábio Protti. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Sistemas Distribuidos; Deadlock; Grafos de Espera; Grafos E/Ou; Complexidade Computacional.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação.

Especialização em Sistemas Computacionais de Alta Complexidade

2012 - 2014

Universidade Federal do Tocantins
Título: PROBLEMA DE PROGRAMAÇÃO DE HORÁRIOS BASEADOS EM CURRÍCULOS COM BUSCA TABU APLICADO A UNIVERSIDADE FEDERAL DO TOCANTINS CURSO DE CINCIA DA COMPUTAÇÃO
Orientador: Warley Gramacho da Silva

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

2008 - 2012

Universidade Federal do Tocantins
Título: Ferramenta Para Auxílio à Produção de Quadro de Horários Baseados em Currículo
Orientador: Warley Gramacho da Silva

Formação complementar

2007 - 2007

Manutenção e Configuração de Microcomputadores. (Carga horária: 100h). , SENAI - Departamento Regional de Tocantins, SENAI/DR/TO, Brasil.

Idiomas

Inglês

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

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Complexidade Parametrizada.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria dos Grafos.

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

Participação em eventos

ACM Symposium on Applied Computing.Deadlock Models in Distributed Computation: Foundations, Design, and Computational Complexity. 2016. (Simpósio).

Simpósio Brasileiro de Pesquisa Operacional.Complexidade de Resolução de Deadlocks em Grafos de Espera de Sistemas Distribuídos. 2015. (Simpósio).

6th Latin American Workshop on Cliques in Graphs. 2014. (Oficina).

XIII Escola Regional de Informática Norte 2. Problema de Programação de Horários Baseados em Currículos Com Busca Tabu Aplicado a Universidade do Tocantins Curso de Ciência da Computação. 2013. (Congresso).

Maratona de Programação. 2011. (Olimpíada).

Maratona de Programação. 2010. (Olimpíada).

Produções bibliográficas

CARNEIRO, ALAN DIÊGO AURÉLIO ; PROTTI, FÁBIO ; SOUZA, UÉVERTON DOS SANTOS . On knot-free vertex deletion: Fine-grained parameterized complexity analysis of a deadlock resolution graph problem. THEORETICAL COMPUTER SCIENCE , v. 909, p. 97-109, 2022.
CARNEIRO, ALAN DIÊGO AURÉLIO ; PROTTI, FÁBIO ; SOUZA, UÉVERTON S. . Deadlock resolution in wait-for graphs by vertex/arc deletion. JOURNAL OF COMBINATORIAL OPTIMIZATION (DORDRECHT. ONLINE) , v. press, p. 1-17, 2018.
CARNEIRO, ALAN DIÊGO AURÉLIO ; PROTTI, FÁBIO ; SOUZA, UÉVERTON S. . Fine-Grained Parameterized Complexity Analysis of Knot-Free Vertex Deletion A Deadlock Resolution Graph Problem. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. , p. 84-95.
CARNEIRO, ALAN DIÊGO AURÉLIO ; PROTTI, FÁBIO ; SOUZA, UÉVERTON S. . Deletion Graph Problems Based on Deadlock Resolution. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2017, v. , p. 75-86.
Stéphane Bessy ; Marin Bougeret ; CARNEIRO, A. D. A. ; PROTTI, F. ; Souza, U. S. . Width Parameterizations for Knot-Free Vertex Deletion on Digraphs. In: International Symposium on Parameterized and Exact Computation, 2019, Munich. 14th International Symposium on Parameterized and Exact Computation (IPEC 2019), 2019. v. 148.
CARNEIRO, A. D. A. ; PROTTI, F. ; Souza, U. S. . Fine-Grained Parameterized Complexity Analysis of Knot-Free Vertex Deletion ? A Deadlock Resolution Graph Problem. In: International Computing and Combinatorics Conference, 2018, Qingdao. The 24th International Computing and Combinatorics Conference (COCOON'18), 2018.
Camargo, P ; CARNEIRO, A. D. A. ; Souza, U. S. . Cliques e Conjuntos Independentes em Grafos Prismas Complementares: Complexidade e Tratabilidade Parametrizada. In: Simpósio Brasileiro de Pesquisa Operacional, 2018. 50° Simpósio Brasileiro de Pesquisa Operacional (SBPO 2018).
CARNEIRO, A. D. A. ; PROTTI, F. ; Souza, U. S. . Deletion Graph Problems Based on Deadlock Resolution. In: THE 23RD ANNUAL INTERNATIONAL COMPUTING AND COMBINATORICS CONFERENCE (COCOON'17), 2017, Hong Kong. Computing and Combinatorics, 2017. v. 1. p. 75-86.
CARNEIRO, A. D. A. ; PROTTI, F. ; Souza, U. S. . Resolução de Deadlocks: Complexidade e Tratabilidade Parametrizada. In: Simpósio Brasileiro de Pesquisa Operacional, 2017, Blumenal. XLIX Simpósio Brasileiro de Pesquisa Operacional, 2017.
Barbosa, V. C. ; CARNEIRO, A. D. A. ; PROTTI, F. ; Souza, U. S. . Deadlock Models in Distributed Computation: Foundations, Design, and Computational Complexity. In: ACM Symposium on Applied Computing, 2016, Pisa. 31st ACM/SIGAPP Symposium on Applied Computing, 2016. p. 538-541.
CARNEIRO, A. D. A. ; PROTTI, F. ; Souza, U. S. . Algoritmos para Resolução de Deadlocks em Grafos Subcúbicos. In: XLVIII Simpósio Brasileiro de Pesquisa Operacional, 2016, Vitória. XLVIII Simpósio Brasileiro de Pesquisa Operacional, 2016.
CARNEIRO, A. D. A. ; PROTTI, F. ; Souza, U. S. . Complexidade de Resolução de Deadlocks em Grafos de Espera de Sistemas Distribuídos. In: Simpósio Brasileiro de Pesquisa Operacional, 2015, Porto de Galinhas - PE. XVLII SBPO, 2015.
CARNEIRO, A. D. A. ; SILVA, W. G. ; Rocha, M. . PROBLEMA DE PROGRAMAÇÃO DE HORÁRIOS BASEADOS EM CURRÍCULOS COM BUSCA TABU APLICADO A UNIVERSIDADE FEDERAL DO TOCANTINS CURSO DE CIÊNCIA DA COMPUTAÇÃO. In: Escola Regional de Informática Norte 2, 2013, Palmas - TO. XIII ERIN - 2, 2013.
CARNEIRO, A. D. A. ; PROTTI, F. ; Souza, U. S. . A Parameterized Complexity Analysis of the Knot-free Vertex Deletion Problem. In: XXXVIII Congresso da Sociedade Brasileira de Computação, 2018, Natal. II Encontro de Teoria da Computação (II - ETC), 2018.
Camargo, P ; CARNEIRO, A. D. A. ; Souza, U. S. . Uma análise da Complexidade Parametrizada de Cliques e Conjuntos Independentes em Grafos Prismas Complementares. In: XXXVIII Congresso da Sociedade Brasileira de Computação, 2018, Natal. II Encontro de Teoria da Computação (II - ETC), 2018.
CARNEIRO, A. D. A. ; PROTTI, F. ; Souza, U. S. . Deletion Graph Problems Based on Deadlock Resolution. In: 2 ETC - Encontro de Teoria da Computação, 2017, São Paulo. 2 ETC - Encontro de Teoria da Computação, 2017. p. 59-62.
CARNEIRO, A. D. A. ; PROTTI, F. ; Souza, U. S. . Knot-Free Vertex Deletion Problem: Parameterized Complexity of a Deadlock Resolution Graph Problem. In: Latin American Workshop on Cliques in Graphs, 2018, Rio de Janeiro. VIII Latin American Workshop on Cliques in Graphs, 2018.
Camargo, P ; CARNEIRO, A. D. A. ; Souza, U. S. . A Parameterized Complexity Analysis of Clique and Independent Set in Complementary Prisms. In: Latin American Workshop on Cliques in Graphs, 2018. VIII Latin American Workshop on Cliques in Graphs.
CARNEIRO, A. D. A. ; PROTTI, F. ; Souza, U. S. . Algorithms for Deadlocks Resolution in Subcubic Graphs. In: Latin American Workshop on Cliques in Graphs, 2016, La Plata. Anais do Latin American Workshop on Cliques in Graphs, 2016. v. VII.
CARNEIRO, A. D. A. . Complexity Analysis of Deadlock Resolution Graph Problems. 2018. (Apresentação de Trabalho/Seminário).

Histórico profissional

Endereço profissional

Universidade Federal Fluminense, Centro Tecnológico. , Rua Passo da Pátria, São Domingos, 24210240 - Niterói, RJ - Brasil, Telefone: (21) 26295628, Fax: (21) 26295627, URL da Homepage:

Experiência profissional

2022 - Atual

Universidade Federal de Viçosa

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

2022 - 2022

Instituto Federal de Educação Ciência e Tecnologia de Rondônia

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

Atividades

08/2022
Ensino, Tecnologia em Análise e Desenvolvimento de Sistemas, Nível: Graduação,Disciplinas ministradas, Fundamentos de Sistemas da Informação

2020 - 2021

IFTO - Campus Porto Nacional

Vínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 40

Atividades

01/2021 - 12/2021
Ensino, Licenciatura em Computação, Nível: Graduação,Disciplinas ministradas, Aplicativos Web, Computação Gráfica, Inteligência Artificial, Programação de Aplicativos Móveis, Programação Web, Teoria dos Grafos
01/2020 - 12/2021
Ensino,,Disciplinas ministradas, Aplicativos Web, Introdução a Organização de Computadores, Introdução a Redes de Computadores

2017 - 2018

UFF - Fundação CECIERJ / Consórcio CEDERJ

Vínculo: Bolsista, Enquadramento Funcional: Tutor à Distância, Carga horária: 10

2013 - 2014

Agência Tocantinense de Saneamento

Vínculo: Servidor Público, Enquadramento Funcional: Analista em Tecnologia da Informação, Carga horária: 30

Atividades

09/2013 - 03/2014
Serviços técnicos especializados , Agência Tocantinense de Saneamento.,Serviço realizado, Desenvolvimento e Manutenção de Sistemas Institucionais; Implantação e Gerência de Sistemas de Terceiros.

2013 - 2013

Colégio da Polícia Militar

Vínculo: Servidor Público, Enquadramento Funcional: Professor, Carga horária: 40

Atividades

02/2013 - 09/2013
Ensino, Técnico de Redes de Computadores, Nível: Ensino Médio,Disciplinas ministradas, Lógica de Programação, Sistemas Operacionais II

2010 - 2012

Universidade Federal do Tocantins

Vínculo: Estágio, Enquadramento Funcional: Laboratorista, Carga horária: 30

Atividades

08/2010 - 08/2012
Estágios , Fundação Universidade Federal do Tocantins - Campus Palmas.,Estágio realizado, Desenvolvimento e Suporte a Usuários.