Pablo Mayckon Silva Farias

Natural de Fortaleza, realizou sua educação superior na Universidade Federal do Ceará (UFC). De 2001 a 2004, cursou Bacharelado em Computação no Centro de Ciências da UFC. De 2005 a 2007, cursou Mestrado em Ciência da Computação, defendendo dissertação sobre as origens e os limites da Lógica Matemática. Concomitantemente, por um período de 2 anos entre 2006 e 2008, foi professor substituto do Departamento de Computação da UFC. De 2009 a 2013, cursou Doutorado em Ciência da Computação, defendendo tese sobre problemas de Otimização Combinatória abordando grafos e sequências numéricas. Desde 2014, é professor efetivo do Departamento de Computação da UFC. De janeiro de 2018 a fevereiro de 2022, exerceu a função de Coordenador do curso de Bacharelado em Ciência da Computação do Centro de Ciências da UFC, posteriormente atuando também como vice-coordenador e presidente do Núcleo Docente Estruturante, e nesse período conduziu o processo de curricularização da extensão que levou ao currículo 2024.1 do curso em questão. Atualmente exerce a função de Chefe do Departamento de Computação, com mandato de 27/08/2024 a 26/08/2026. Para além de sua atuação continuada no ensino e na administração universitária, possui interesse de pesquisa na Verificação Dedutiva de Programas.

Informações coletadas do Lattes em 03/12/2024

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação

2009 - 2013

Universidade Federal do Ceará
Título: O Problema de Ordenação de Rodadas e Problemas de Otimização Associados
, Ano de obtenção: 2014. Ricardo Cordeiro Corrêa. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Grande área: Ciências Exatas e da TerraSetores de atividade: Pesquisa e desenvolvimento científico.

Mestrado em Ciências da Computação

2005 - 2007

Universidade Federal do Ceará
Título: Um estudo sobre as origens da Lógica Matemática e os limites da sua aplicabilidade à formalização da Matemática
Orientador: Tarcísio Haroldo Cavalcante Pequeno
, Ano de Obtenção: 2008.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Lógica Matemática; Fundamentos da Matemática; Teoremas de incompletude de Gödel.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.

Graduação em Computação

2001 - 2004

Universidade Federal do Ceará
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Formação complementar

2020 - 2020

IUV0005 - Construindo uma disciplina remota. (Carga horária: 64h). , Universidade Federal do Ceará, UFC, Brasil.

2020 - 2020

CURSO DE ELABORAÇÃO E GESTÃO DE INDICADORES DE DESEMPENHO INSTITUCIONAL. (Carga horária: 24h). , Universidade Federal do Ceará, UFC, Brasil.

2018 - 2018

Sistema Eletrônico de Informações e a gestão e preservação de documentos. (Carga horária: 32h). , Universidade Federal do Ceará, UFC, Brasil.

2009 - 2013

Extensão universitária em Alemão Básico (HHA) da Casa de Cultura Alemã. (Carga horária: 420h). , Universidade Federal do Ceará, UFC, Brasil.

2003 - 2004

Extensão universitária em Inglês (HHB) com habilitação para o FCE. (Carga horária: 180h). , Universidade Federal do Ceará, UFC, Brasil.

2002 - 2003

Extensão universitária em Inglês básico (HHB) da Casa de Cultura Britânica. (Carga horária: 420h). , Universidade Federal do Ceará, UFC, Brasil.

Idiomas

Inglês

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

Português

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

Alemão

Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.

Á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: Lógicas e Semântica de Programas.

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

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Lógica Matemática.

Participação em eventos

Workshop DIMAp 30 Anos / Minicurso Machine-Oriented Reasoning. 2015. (Oficina).

VII Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS 2013).Linear time computation of the maximal sums of insertions into all positions of a sequence. 2013. (Simpósio).

Participação em bancas

Aluno: MIRAH ALVES FERREIRA

TIBERIUS DE OLIVEIRA E BONATES; ALBERT EINSTEIN FERNANDES MURITIBA; MANOEL BEZERRA CAMPELO NETO;Pablo Mayckon Silva Farias. Novos Desenvolvimentos para a Solução do Problema de Partição de um Grafo em Árvores k-Capacitadas. 2018. Dissertação (Mestrado em Modelagem e Métodos Quantitativos (PPG-MMQ, DEMA)) - Universidade Federal do Ceará.

Aluno: Hugo Carvalho de Paula

BRITO, C. E. F.; ALCANTARA, J. F. L.;FARIAS, P. M. S.; QUEIROZ, R. J. G. B.. Matemática feita no computador: Estudos sobre uma coleção de sistemas formais, com uma investigação sobre estruturas indutivas, e a separação entre lógica e automação em assistentes de prova. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

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

Francisco Heron de Carvalho Júnior; Luís Manuel Dias Coelho Soares Barbosa; Ricardo Massa Ferreira Lima; Lincoln Souza Rocha;Pablo Mayckon Silva Farias. Certificação de Componentes em uma Plataforma de Nuvens Computacionais para Serviços de Computação de Alto Desempenho. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará.

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

Francisco Heron de Carvalho Júnior; Luís Soares Barbosa; Pedro Porfírio Muniz Farias;Pablo Mayckon Silva Farias. Componentes Certificadores em uma Plataforma de Nuvem Computacional para Serviços de Computação de Alto Desempenho. 2016. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal do Ceará.

Aluno: Darley Freire Barreto

Francesco Corona; Michela Mulas;Pablo Mayckon Silva Farias; Carlos Eduardo Fisch de Brito. AN EXPLORATORY ANALYSIS USING T-SNE. 2018. Trabalho de Conclusão de Curso (Graduação em Computação) - Universidade Federal do Ceará.

GOMES, J. P. P.; RODRIGUES, E. B.;FARIAS, P. M. S.. Concurso para Professor Substituto, categoria Assistente, conforme edital 30/2015/UFC, no setor de estudos Fundamentos de Programação. Banca designada pela portaria 4/2015/Departamento de Computação/UFC. 2015. Universidade Federal do Ceará.

BRITO, C. E. F.; ROCHA, L. S.;FARIAS, P. M. S.. Concurso para Professor Substituto, categoria Assistente, conforme edital 82/2015/UFC, no setor de estudos Fundamentos de Programação. Banca designada pela portaria 11/2015/Departamento de Computação-UFC, de 15 de maio de 2015. 2015. Universidade Federal do Ceará.

ANDRADE, R. M. C.; TRINTA, F. A. M.; MONTEIRO FILHO, J. M. S.; MACEDO, J. A. F.; CASTRO, M. F.;FARIAS, P. M. S.. Concurso para Professor Efetivo, categoria Assistente, conforme edital 48/2014/UFC, no setor de estudo Engenharia de Software. Banca nomeada pela portaria 180/2014/Centro de Ciências/UFC. 2014. Universidade Federal do Ceará.

FARIAS, P. M. S.; SAMPAIO, R. M.; RODRIGUES, E. B.. Concurso para Professor Substituto, categoria Assistente, conforme edital 128/2014/UFC, no setor de estudo Fundamentos de Programação. Banca nomeada pelas portarias 13-A e 14/2014/Departamento de Computação/UFC. 2014. Universidade Federal do Ceará.

FARIAS, P. M. S.; GOMES, J. P. P.; RODRIGUES, E. B.. Concurso para Professor Substituto, categoria Auxiliar, conforme edital 128/2014/UFC, no setor de estudo Fundamentos de Programação. Banca nomeada pelas portarias 15 e 16/2014/Departamento de Computação/UFC. 2014. Universidade Federal do Ceará.

GOMES, J. P. P.; RODRIGUES, E. B.;FARIAS, P. M. S.. Concurso para Professor Substituto, categorias Assistente e Auxiliar, conforme edital 239/2014/UFC, no setor de estudo Fundamentos de Programação. Banca nomeada pelas portarias 22 e 23/2014/Departamento de Computação/UFC. 2014. Universidade Federal do Ceará.

Orientou

Phillipe Cesar Gomes de Queiroz

Conhecendo a Programação Funcional; 2024; Trabalho de Conclusão de Curso; (Graduação em Computação) - Universidade Federal do Ceará; Orientador: Pablo Mayckon Silva Farias;

Produções bibliográficas

CORRÊA, RICARDO C. ; FARIAS, PABLO M.S. . Linear time computation of the maximal linear and circular sums of multiple independent insertions into a sequence. Theoretical Computer Science , v. 661, p. 08-17, 2016.
CORRÊA, RICARDO C. ; FARIAS, PABLO M.S. ; DE SOUZA, CRÍSTON P. . Insertion and sorting in a sequence of numbers minimizing the maximum sum of a contiguous subsequence. Journal of Discrete Algorithms (Print) , v. 21, p. 1-10, 2013.
FARIAS, PABLO M.S. ; CORRÊA, RICARDO C. . Linear time computation of the maximal sums of insertions into all positions of a sequence. Electronic Notes in Discrete Mathematics , v. 44, p. 245-250, 2013.
FARIAS, P. M. S. . Implementação de estruturas de dados e algoritmos exatos para o problema do caixeiro viajante. 2004. (Apresentação de Trabalho/Seminário).
FARIAS, P. M. S. . Estrutura de dados para chaves de seqüências binárias. 2003. (Apresentação de Trabalho/Outra).

Outras produções

FARIAS, P. M. S. . Existência de funções computáveis mas não RP. 2008. (Desenvolvimento de material didático ou instrucional - Nota de aula).

FARIAS, P. M. S. . Adendo sobre fluxo. 2007. (Desenvolvimento de material didático ou instrucional - Nota de aula).

Histórico profissional

Endereço profissional

Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação. , Campus do Pici, bloco 910, Pici, 60440900 - Fortaleza, CE - Brasil, Telefone: (85) 33669841, Fax: (85) 33669837, URL da Homepage:

Experiência profissional

2023 - Atual

Universidade Federal do Ceará

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

2023 - 2023

Universidade Federal do Ceará

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

2018 - 2023

Universidade Federal do Ceará

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

2014 - 2018

Universidade Federal do Ceará

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto-A, Classe A, Nível 1, Carga horária: 40, Regime: Dedicação exclusiva.

2006 - 2008

Universidade Federal do Ceará

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

Atividades

08/2024
Direção e administração, Centro de Ciências, Departamento de Computação.,Cargo ou função, Chefe do Departamento de Computação do Centro de Ciências da UFC.
02/2018
Ensino, Computação, Nível: Graduação,Disciplinas ministradas, Algoritmos em Grafos (CK0111) (Semestres: 2018.1, 2022.1, 2023.1), Laboratório de Programação (CK0215) (Semestres: 2019.1, 2021.1, 2023.1), Linguagens de Programação I (CK0115) (Semestres: 2022.2, 2023.2), Matemática Discreta (CB0661) (Semestre: 2024.1), Prova Assistida por Computador (CK0230) (Semestre: 2024.2), Seminários em Computação (CK0253) (Semestres: 2018.1, 2019.1, 2020.1, 2021.1)
08/2015
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Construção e Análise de Algoritmos (CK0183) (semestres: 2016.1, 2020.1), Estruturas de Dados (TI0140, CK0180) (Semestres: 2017.2, 2022.2, 2023.2, 2024.1), Fundamentos Matemáticos da Computação (CK0181) (semestres: 2015.2, 2024.2)
03/2022 - 05/2024
Direção e administração, Centro de Ciências.,Cargo ou função, Vice-Coordenador do Bacharelado em Ciência da Computação do Centro de Ciências da UFC.
02/2014 - 12/2023
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Estruturas de Informação (CK0029) (semestres: 2019.2, 2023.2), Fundamentos de Programação (CK0030) (semestre: 2014.1)
01/2018 - 02/2022
Direção e administração, Centro de Ciências.,Cargo ou função, Coordenador do Bacharelado em Ciência da Computação do Centro de Ciências da UFC.
07/2014 - 02/2022
Ensino, Matemática Industrial, Nível: Graduação,Disciplinas ministradas, Construção e Análise de Algoritmos (CK0019) (Semestre: 2014.2), Estruturas de Dados (CK0109) (Semestres: 2018.2, 2019.2, 2020.2, 2021.2)
02/2014 - 07/2018
Ensino, Engenharia Mecânica, Nível: Graduação,Disciplinas ministradas, Programação Computacional para Engenharia (semestres: 2014.1, 2016.1, 2017.1, 2018.1)
02/2014 - 12/2017
Ensino, Computação, Nível: Graduação,Disciplinas ministradas, Algoritmos em Grafos (CK0111) (em: 2014.1, 2016.2), Construção e Análise de Algoritmos (CK0019) (em: 2015.1), Laboratório de Programação II (CK0038) (em: 2015.1), Prova Assistida por Computador (como CK0130, em: 2014.2, 2015.2, 2016.2; como CK0230, em: 2016.2, 2017.2), Verificação Dedutiva de Programas (usando os códigos CK0131 e CK0092) (em: 2017.1)
09/2006 - 07/2008
Ensino, Computação, Nível: Graduação,Disciplinas ministradas, Algoritmos em Grafos (CK0111) (Semestres: 2007.1, 2007.2), Estruturas de Dados (CK0109) (Semestres: 2007.1, 2008.1), Teoria da Computação (CK0101) (Semestre: 2008.1)
03/2007 - 11/2007
Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, Programação Computacional para Engenharia (semestres: 2007.1, 2007.2)
09/2006 - 11/2006
Ensino, Estatística, Nível: Graduação,Disciplinas ministradas, Fundamentos de Programação (semestres: 2006.2), Introdução à Computação (semestres: 2006.2)

2001 - 2004

Secretaria de Educação Superior/MEC

Vínculo: Bolsista, Enquadramento Funcional: Membro do grupo PET Computação-UFC, Carga horária: 20, Regime: Dedicação exclusiva.

Outras informações:
Fui bolsista do grupo PET Computação-UFC, tendo participado das inúmeras atividades realizadas pelo grupo no período. Atividade fixa: Tesouraria. Atividades de ensino: - Realização semestral da "visão discente das disciplinas", que consistia em uma avaliação, por parte dos alunos do curso, das disciplinas cursadas. O objetivo principal da atividade era contribuir para a melhoria do curso. - Realização de 2 palestras sobre o grupo para os alunos recém-ingressos do curso de graduação. - Organização das edições de 2003 e 2004 da "Seminfo", semana de informática organizada pelo grupo. Atividades de pesquisa: - Membro do "ParGO", grupo de pesquisa do Departamento de Computação nas áreas de PARalelismo, Grafos e Otimização. No grupo, além de participar das edições de 2003 e 2004 do Encontro de Iniciação Científica da universidade, assisti aos seminários períodicos apresentados por alunos e professores, os quais eram tanto locais e quanto convidados. Atividades de extensão: - Participação (enquanto ministrante) de um curso de informática básica para crianças carentes realizado nas instalações do CEFET-CE. - Participação (enquanto ministrante) de um curso de HTML ministrado no Congresso Regional da SBPC realizado no Ceará em 2003. Atividades entre grupos PET: - Participação em diversos InterPET, reuniões periódicas entre os grupos PET do Ceará, e atividades envolvidas, incluindo a participação em um Encontro Cearense dos grupos PET e em feiras de profissões para alunos do ensino médio. - Ida ao VIII Encontro Nacional dos grupos PET, em Recife, representando o PET Computação-UFC.