Leandro Dias da Silva

Possui graduação em Ciência da Computação pela Universidade Federal de Alagoas (1999), mestrado em Engenharia Eletrica pela Universidade Federal da Paraíba (2002) e doutorado em Engenharia Elétrica pela Universidade Federal de Campina Grande (2006). Atualmente é Professor Associado do Instituto de Computação da Universidade Federal de Alagoas. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: redes de Petri, verificação de modelos, autômatos temporizados, computação ubíqua e pervasiva, informática médica, sistemas embarcados, sistemas críticos, sistemas físicos-cibernéticos.

Informações coletadas do Lattes em 15/09/2025

Acadêmico

Formação acadêmica

Doutorado em Engenharia Elétrica

2002 - 2006

Universidade Federal de Campina Grande
Título: Especificação e Verificação Sistemática, Formal e Modular de Sistemas Embarcados
Orientador: em University of California, Santa Cruz ( Luca de Alfaro)
com , Ano de obtenção: 2006. Angelo Perkusich. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Redes de Petri; Componentes; Arquitetura de Software; Linhas de Produto; Reúso; Sistemas Embarcados. Grande área: EngenhariasSetores de atividade: Desenvolvimento de Programas (Software); Informática.

Mestrado em Engenharia Eletrica

2000 - 2002

Universidade Federal da Paraíba
Título: Modelagem Sistemática de Sistemas Flexíveis de Manufatura Baseada em Reúso de Modelos de Redes de Petri Coloridas, Ano de Obtenção: 2002
Angelo Perkusich.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Redes de Petri; Sistemas Flexíveis de Manufatura; Reúso.Grande área: Ciências Exatas e da TerraSetores de atividade: Informática.

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

1996 - 1999

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

Curso técnico/profissionalizante em Eletrônica

1992 - 1997

Escola Técnica Federal de Alagoas

Ensino Médio (2º grau)

1992 - 1997

Escola Técnica Federal de Alagoas

Formação complementar

2003 - 2003

International Winter School on Semantics and Appli. , Institut National de Recherche en Informatique et en Automatique, INRIA, França.

2003 - 2003

EEF Foundations Summer School on Concurrency. , Institute for Programming research and Algorithmics, IPA, Holanda.

Idiomas

Inglês

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

Espanhol

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

Português

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

Italiano

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

Francês

Compreende Pouco, 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: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos/Especialidade: Automação Eletrônica de Processos Elétricos e Industriais.

Grande área: Engenharias / Área: Engenharia de Produção / Subárea: Gerência de Produção/Especialidade: Planejamento, Projeto e Controle de Sistemas de Produção.

Organização de eventos

SILVA, L. D. ; SANTOS NETO, B. F. ; RIBEIRO, M. M. . V Congresso Brasileiro de Software. 2014. (Congresso).

SILVA, L. D. ; ALMEIDA, E. S. . XXXIII Congresso da Sociedade Brasileira de Computação. 2013. (Congresso).

SANTOS, A. ; ALMEIDA, E. S. ; SILVA, L. D. . X Escola Regional Bahia-Alagoas-Sergipe - ERBASE. 2010. (Congresso).

SILVA, L. D. . XIV Encontro de Iniciação Científica da UEPB. 2007. (Congresso).

SILVA, L. D. . 16th International Conference on Concurrency Theory. 2005. (Congresso).

Participação em bancas

Aluno: Brunno Davisson Melo Cavalcante

HERNANDEZ-DOMINGUEZ, A.;SILVA, L. D.; COSTA, F. P. D.; FERNEDA, E.. UM FRAMEWORK CONCEITUAL PARA JOGOS DIGITAIS EDUCATIVOS SOLIDÁRIOS. 2022. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas.

Aluno: Antonio Carlos de Lima Filho

COSTA, E. B.; LOPES, R. V. V.;SILVA, L. D.; COSTA, F. P. D.. UM SISTEMA EVOLUTIVO PARA AUXILIAR O DIAGNÓSTICO DA CIFOSE E LORDOSE. 2021. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas.

Aluno: Anderson Santos da Silva

SANTOS NETO, B. F.;SILVA, L. D.; MELLO, R. F. L.. A Framework of Unsupervised Techniques for Anomaly-Based Intrusion Detection. 2019. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas.

Aluno: José Carlos Costa Milito

HERNANDEZ-DOMINGUEZ, A.; BRAGA, M. M.;SILVA, L. D.. LearnCraft ? Uma Engine para Criação de Jogos RPG Construcionistas. 2018. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas.

Aluno: Priscylla Maria da Silva Sousa

COSTA, E. B.; ARAUJO, J. M. F. R.;SILVA, L. D.; TEDESCO, P. C. A. R.. Feedback em Ambientes Educacionais no Domínio de Programação. 2018. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

Aluno: Hugo Araújo Souza

NASCIMENTO, M. Z.;SILVA, L. D.; OLIVEIRA, M. C.. Classificação da Marcha em Parkinsonianos: Análise de Algoritmos de Aprendizagem Supervisionada. 2017. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas.

Aluno: Endhe Elias Soares

BITTENCOURT, I.I.;SILVA, L. D.; RIBEIRO, M. M.; ISOTANI, S.; FERNANDES, C. T.. JOINT-E: Um Framework para Avaliação de Desempenho e Escalabilidade de APIs de Persistência em Ontologias. 2014. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas.

Aluno: Olavo de Holanda Cavalcanti Neto

BITTENCOURT, I.I.;SILVA, L. D.COSTA, E. B.; ISOTANI, S.; SIQUEIRA, S. W. M.. JOINT-DE: Sistema de Mapeamento Objeto-Ontologia com suporte a Objetos Desconectados. 2014. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas.

Aluno: Gabriela Jordão Lyra

LIMA FILHO, A. C.; BELO, F. A.;SILVA, L. D.. ANÁLISE DE MÉTODOS PARA ESTIMAÇÃO DA VELOCIDADE EM EIXO DE MOTORES DE INDUÇÃO TRIFÁSICOS. 2014. Dissertação (Mestrado em Engenharia Mecânica) - Universidade Federal da Paraíba.

Aluno: David Henrique de Souza Lima

AQUINO, A. L. L.;SILVA, L. D.; RAMOS FILHO, H. S.; LOUREIRO, A. A. F.. Um sistema oportunista para detecção de vagas de estacionamento utilizando placas inteligentes acopladas em câmeras de segurança. 2014. Dissertação (Mestrado em Informática) - Universidade Federal de Alagoas.

Aluno: Antônio Dias dos Santos Júnior

PERKUSICH, A.ALMEIDA, H. O.SILVA, L. D.GORGONIO, K.; MORAIS, M. R. A.. Arcabouço de Software para a Aquisição de Dados de Saúde Através de Jogos Eletrônicos. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

Aluno: Edileuza Virginio Leão Mazza

MACHADO, A. P.;SILVA, L. D.; LYRA, J. M. A. G.; AMBROSIO JUNIOR, R.. Modelos Computacionais Baseados em Aprendizagem de Máquinas para Classificação do Ceratocone por Meio dos Sinais Biomecânicos Fornecidos pelo Ocular Response Analyser. 2013. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas.

Aluno: Paulo César do Nascimento Cunha

MOREIRA, C. S.; LOPES, R. V. V.;SILVA, L. D.; FERREIRA, R. P. C.; MENEZES, P. L.. Um Modelo de Eletrocardiógrafo Portátil de Baixa Potência. 2012. Dissertação (Mestrado em Modelagem Computacional de Conhecimento) - Universidade Federal de Alagoas.

Aluno: Marco Antonio Cavalcante Rosner

PERKUSICH, A.ALMEIDA, H. O.SILVA, L. D.; MORAIS, M. R. A.. Infraestrutura para entrega de anúncios de publicidade pervasiva personalizados baseada em estatísticas de consumo. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

Aluno: Leonardo Soares e Silva

PERKUSICH, A.ALMEIDA, H. O.SILVA, L. D.GORGONIO, K.. Seleção de Anúncios em Sinalização Digital Baseada na Segmentação de Mercado e Comportamento do Consumidor. 2012. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

Aluno: Daniel Bruno Alves dos Santos

PERKUSICH, A.; ALMEIDA, H. O.;SILVA, L. D.; VIEIRA, M. F. Q.;GORGONIO, K.. Infraestrutura para o Desenvolvimento de Aplicações Pervasivas Cientes de Redes Sociais. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

Aluno: Lorena Fernandes Maia

PERKUSICH, A.ALMEIDA, H. O.GORGONIO, K.SILVA, L. D.. Infraestrutura para o Desenvolvimento de Aplicações Baseadas em Localização e Orientadas a Domínios. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

Aluno: Leonardo Soares e Silva

PERKUSICH, A.ALMEIDA, H. O.GORGONIO, K.SILVA, L. D.. Seleção de anúncios em sinalização digital baseada na segmentação de mercado e comportamento do consumidor. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

Aluno: Paulo Rômulo Alves Barros

PERKUSICH, A.ALMEIDA, H. O.SILVA, L. D.; MORAIS, M. R. A.. Abordagem Orientada a Seviços para o Gerenciamento de Energia em Redes Pervasivas. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

Aluno: Thiago Bruno Melo de Sales

PERKUSICH, A.ALMEIDA, H. O.LIMA, A. M. N.SILVA, L. D.. Especificação Baseada no Padrão UPnP para Autenticação e Autorização de Usuários em Ambientes de Computação Pervasiva. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

Aluno: Ivo Augusto Andrade Rocha Calado

PERKUSICH, A.ALMEIDA, H. O.LIMA, A. M. N.SILVA, L. D.. Infraestrutura para Transmissão de Conteúdo Multimídia com Suporte à Adaptação de Fluxos. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

Aluno: Ademar Virgolino da Silva Netto

VIEIRA, M. F. Q.;SILVA, L. D.. Arquitetura para um ambiente de treinamento representado em Realidade Virtual. 2010. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Campina Grande.

Aluno: André Felipe de Albuquerque Rodrigues

PERKUSICH, A.; VIEIRA, M. F. Q.;SILVA, L. D.. Um Ambiente C++ para o Desenvolvimento de Software com Suporte à Evolução Dinâmica não Antecipada. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Campina Grande.

Aluno: Luiz Paulo de Assis Barbosa

LIMA, A. M. N.SILVA, L. D.PERKUSICH, A.; SOUZA, B. A.. Extração Automática de Autômatos Temporizados a partir de FBD para Teste Automático de Sistems Instrumentados de Segurança. 2008. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Campina Grande.

Aluno: Nádia Milena da Silva Barbosa

SILVA, L. D.; VIEIRA, M. F. Q.;PERKUSICH, A.. Estudo Experimental Comparativo de Modelos de Componentes para o Desenvolvimento de Software sob o Aspecto de Evolutibilidade. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

Aluno: Frederico Moreira Bublitz

PERKUSICH, A.COSTA, E. B.SILVA, L. D.; CRESPO, S.. Infra-Estrutura para o Desenvolvimento de Aplicações Cientes de Contexto em Ambientes Pervasivos. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.

Outras produções

SILVA, L. D. . MultCare: A mobile assistant as a tool to aid early detection of Chronic Kidney Disease. 2012.

PEIXOTO, R. J. S. ; SILVA, L. D. . Gungnir. 2010.

PEIXOTO, R. J. S. ; SILVA, L. D. . Touchè: uma ferramenta para criação colaborativa de documentos de hipermídia. 2009.

SILVA, L. D. . International Conference on Future Computational Technologies and Applications - FUTURE COMPUTING (Membro do Comitê de Programa). 2016.

SILVA, L. D. . International Conferences on Advanced Service Computing - SERVICE COMPUTATION (Membro do Comitê de Programa). 2016.

SILVA, L. D. . Simpósio Brasileiro de Computação Ubíqua e Pervasiva - SBCUP (Membro do Comitê de Programa). 2016.

SILVA, L. D. . Workshop de Informática Médica - WIM (Membro do Comitê de Programa). 2016.

SILVA, L. D. . Frontiers in Education (FIE) Conference (Revisor). 2016.

SILVA, L. D. . CONGRESSO BRASILEIRO DE AUTOMÁTICA - CBA (Revisor). 2016.

SILVA, L. D. . International Conference on Future Computational Technologies and Applications - FUTURE COMPUTING (Membro do Comitê de Programa). 2015.

SILVA, L. D. . International Conferences on Advanced Service Computing - SERVICE COMPUTATION (Membro do Comitê de Programa). 2015.

SILVA, L. D. . International Conferences on Advanced Service Computing - SERVICE COMPUTATION (Membro do Comitê de Programa). 2014.

SILVA, L. D. . International Conference on Future Computational Technologies and Applications - FUTURE COMPUTING (Membro do Comitê de Programa). 2014.

SILVA, L. D. . International Conference on Future Computational Technologies and Applications - FUTURE COMPUTING (Membro do Comitê de Programa). 2013.

SILVA, L. D. . International Conferences on Advanced Service Computing - SERVICE COMPUTATION (Membro do Comitê de Programa). 2013.

SILVA, L. D. . Modelagem Sistemática e Formal de Sistemas de Software Baseados em Componentes. 2003.

SILVA, L. D. . Uma Abordagem Baseada em Componentes para Especificação e Verificação Formal de Sistemas Embarcados usando Redes de Petri Coloridas. 2003.

SILVA, L. D. . Verificação de Propriedades Temporais para Sistemas Embarcados de Tempo Real Usando Redes de Petri com Temporização Nebulosa. 2003.

SILVA, L. D. . Administração da Rede do Departamento de Ciência da Computção da UFAL. 1999 (Suporte) .

SILVA, L. D. . Monitoria de Inteligência Artificial I. 1999 (Monitoria) .

SILVA, L. D. . PIBIC - Estudo e Desenvolvimento de um Ambiente Computacional à Aprendizagem no Domínio do Cálculo Diferencial. 1999 (Iniciação Cienctífica PIBIC/UFAL) .

SILVA, L. D. . Monitoria de Inteligência Artificial I. 1998 (Monitoria) .

SILVA, L. D. . PIBIC - Estudo e Desenvolvimento de um Ambiente Computacional à Aprendizagem no Domínio do Cálculo Diferencial. 1998 (Iniciação Cienctífica PIBIC/UFAL) .

SILVA, L. D. . Administração da Rede do Departamento de Ciência da Computção da UFAL. 1998 (Suporte) .

Projetos de desenvolvimento

2006 - 2008

SIS - Sistemas Integrados de Segurança, Descrição: O objetivo central deste projeto é o estudo de métodos e técnicas que contribuam para melhorar a confiabilidade dos Sistemas Instrumentados de Segurança das Unidades da Petrobras. O aumento de confiabilidade deve reduzir a probabilidade de falhas e minimizar os riscos de acidentes.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Leandro Dias da Silva - Integrante / Angelo Perkusich - Integrante / Péricles Rezende de Barros - Coordenador / Antonio Marcus Nogueira Lima - Integrante / José Sérgio da Rocha Neto - Integrante / Luiz Paulo de Assis Barbosa - Integrante / Kyller Gorgônio - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação / CENPES/Petrobras - Cooperação.
2006 - 2008

SIS - Sistemas Integrados de Segurança, Descrição: O objetivo central deste projeto é o estudo de métodos e técnicas que contribuam para melhorar a confiabilidade dos Sistemas Instrumentados de Segurança das Unidades da Petrobras. O aumento de confiabilidade deve reduzir a probabilidade de falhas e minimizar os riscos de acidentes.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Leandro Dias da Silva - Integrante / Angelo Perkusich - Integrante / Péricles Rezende de Barros - Coordenador / Antonio Marcus Nogueira Lima - Integrante / José Sérgio da Rocha Neto - Integrante / Luiz Paulo de Assis Barbosa - Integrante / Kyller Gorgônio - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação / CENPES/Petrobras - Cooperação.
2006 - 2008

SIS - Sistemas Integrados de Segurança, Descrição: O objetivo central deste projeto é o estudo de métodos e técnicas que contribuam para melhorar a confiabilidade dos Sistemas Instrumentados de Segurança das Unidades da Petrobras. O aumento de confiabilidade deve reduzir a probabilidade de falhas e minimizar os riscos de acidentes.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Leandro Dias da Silva - Integrante / Angelo Perkusich - Integrante / Péricles Rezende de Barros - Coordenador / Antonio Marcus Nogueira Lima - Integrante / José Sérgio da Rocha Neto - Integrante / Luiz Paulo de Assis Barbosa - Integrante / Kyller Gorgônio - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação / CENPES/Petrobras - Cooperação.
2006 - 2008

SIS - Sistemas Integrados de Segurança, Descrição: O objetivo central deste projeto é o estudo de métodos e técnicas que contribuam para melhorar a confiabilidade dos Sistemas Instrumentados de Segurança das Unidades da Petrobras. O aumento de confiabilidade deve reduzir a probabilidade de falhas e minimizar os riscos de acidentes.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Leandro Dias da Silva - Integrante / Angelo Perkusich - Integrante / Péricles Rezende de Barros - Coordenador / Antonio Marcus Nogueira Lima - Integrante / José Sérgio da Rocha Neto - Integrante / Luiz Paulo de Assis Barbosa - Integrante / Kyller Gorgônio - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação / CENPES/Petrobras - Cooperação.
2006 - 2008

SIS - Sistemas Integrados de Segurança, Descrição: O objetivo central deste projeto é o estudo de métodos e técnicas que contribuam para melhorar a confiabilidade dos Sistemas Instrumentados de Segurança das Unidades da Petrobras. O aumento de confiabilidade deve reduzir a probabilidade de falhas e minimizar os riscos de acidentes.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Leandro Dias da Silva - Integrante / Angelo Perkusich - Integrante / Péricles Rezende de Barros - Coordenador / Antonio Marcus Nogueira Lima - Integrante / José Sérgio da Rocha Neto - Integrante / Luiz Paulo de Assis Barbosa - Integrante / Kyller Gorgônio - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação / CENPES/Petrobras - Cooperação.
2006 - 2008

SIS - Sistemas Integrados de Segurança, Descrição: O objetivo central deste projeto é o estudo de métodos e técnicas que contribuam para melhorar a confiabilidade dos Sistemas Instrumentados de Segurança das Unidades da Petrobras. O aumento de confiabilidade deve reduzir a probabilidade de falhas e minimizar os riscos de acidentes.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Leandro Dias da Silva - Integrante / Angelo Perkusich - Integrante / Péricles Rezende de Barros - Coordenador / Antonio Marcus Nogueira Lima - Integrante / José Sérgio da Rocha Neto - Integrante / Luiz Paulo de Assis Barbosa - Integrante / Kyller Gorgônio - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação / CENPES/Petrobras - Cooperação.
2006 - 2008

SIS - Sistemas Integrados de Segurança, Descrição: O objetivo central deste projeto é o estudo de métodos e técnicas que contribuam para melhorar a confiabilidade dos Sistemas Instrumentados de Segurança das Unidades da Petrobras. O aumento de confiabilidade deve reduzir a probabilidade de falhas e minimizar os riscos de acidentes.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Leandro Dias da Silva - Integrante / Angelo Perkusich - Integrante / Péricles Rezende de Barros - Coordenador / Antonio Marcus Nogueira Lima - Integrante / José Sérgio da Rocha Neto - Integrante / Luiz Paulo de Assis Barbosa - Integrante / Kyller Gorgônio - Integrante., Financiador(es): CENPES/Petrobras - Cooperação / Financiadora de Estudos e Projetos - Cooperação.
2006 - 2008

SIS - Sistemas Integrados de Segurança, Descrição: O objetivo central deste projeto é o estudo de métodos e técnicas que contribuam para melhorar a confiabilidade dos Sistemas Instrumentados de Segurança das Unidades da Petrobras. O aumento de confiabilidade deve reduzir a probabilidade de falhas e minimizar os riscos de acidentes.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Leandro Dias da Silva - Integrante / Angelo Perkusich - Integrante / Péricles Rezende de Barros - Coordenador / Antonio Marcus Nogueira Lima - Integrante / José Sérgio da Rocha Neto - Integrante / Luiz Paulo de Assis Barbosa - Integrante / Kyller Gorgônio - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação / CENPES/Petrobras - Cooperação.
2006 - 2008

SIS - Sistemas Integrados de Segurança, Descrição: O objetivo central deste projeto é o estudo de métodos e técnicas que contribuam para melhorar a confiabilidade dos Sistemas Instrumentados de Segurança das Unidades da Petrobras. O aumento de confiabilidade deve reduzir a probabilidade de falhas e minimizar os riscos de acidentes.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Leandro Dias da Silva - Integrante / Angelo Perkusich - Integrante / Péricles Rezende de Barros - Coordenador / Antonio Marcus Nogueira Lima - Integrante / José Sérgio da Rocha Neto - Integrante / Luiz Paulo de Assis Barbosa - Integrante / Kyller Gorgônio - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação / CENPES/Petrobras - Cooperação.
2006 - 2008

SIS - Sistemas Integrados de Segurança, Descrição: O objetivo central deste projeto é o estudo de métodos e técnicas que contribuam para melhorar a confiabilidade dos Sistemas Instrumentados de Segurança das Unidades da Petrobras. O aumento de confiabilidade deve reduzir a probabilidade de falhas e minimizar os riscos de acidentes.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Leandro Dias da Silva - Integrante / Angelo Perkusich - Integrante / Péricles Rezende de Barros - Coordenador / Antonio Marcus Nogueira Lima - Integrante / José Sérgio da Rocha Neto - Integrante / Luiz Paulo de Assis Barbosa - Integrante / Kyller Gorgônio - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação / CENPES/Petrobras - Cooperação.
2006 - 2008

SIS - Sistemas Integrados de Segurança, Descrição: O objetivo central deste projeto é o estudo de métodos e técnicas que contribuam para melhorar a confiabilidade dos Sistemas Instrumentados de Segurança das Unidades da Petrobras. O aumento de confiabilidade deve reduzir a probabilidade de falhas e minimizar os riscos de acidentes.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Leandro Dias da Silva - Integrante / Angelo Perkusich - Integrante / Péricles Rezende de Barros - Coordenador / Antonio Marcus Nogueira Lima - Integrante / José Sérgio da Rocha Neto - Integrante / Luiz Paulo de Assis Barbosa - Integrante / Kyller Gorgônio - Integrante., Financiador(es): CENPES/Petrobras - Cooperação / Financiadora de Estudos e Projetos - Cooperação.
2006 - 2008

SIS - Sistemas Integrados de Segurança, Descrição: O objetivo central deste projeto é o estudo de métodos e técnicas que contribuam para melhorar a confiabilidade dos Sistemas Instrumentados de Segurança das Unidades da Petrobras. O aumento de confiabilidade deve reduzir a probabilidade de falhas e minimizar os riscos de acidentes.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Leandro Dias da Silva - Integrante / Angelo Perkusich - Integrante / Péricles Rezende de Barros - Coordenador / Antonio Marcus Nogueira Lima - Integrante / José Sérgio da Rocha Neto - Integrante / Luiz Paulo de Assis Barbosa - Integrante / Kyller Gorgônio - Integrante.Financiador(es): Financiadora de Estudos e Projetos - Cooperação / CENPES/Petrobras - Cooperação.
2006 - 2008

SIS - Sistemas Integrados de Segurança, Descrição: O objetivo central deste projeto é o estudo de métodos e técnicas que contribuam para melhorar a confiabilidade dos Sistemas Instrumentados de Segurança das Unidades da Petrobras. O aumento de confiabilidade deve reduzir a probabilidade de falhas e minimizar os riscos de acidentes.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Leandro Dias da Silva - Integrante / Angelo Perkusich - Integrante / Péricles Rezende de Barros - Coordenador / Antonio Marcus Nogueira Lima - Integrante / José Sérgio da Rocha Neto - Integrante / Luiz Paulo de Assis Barbosa - Integrante / Kyller Gorgônio - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação / CENPES/Petrobras - Cooperação.
2006 - 2008

SIS - Sistemas Integrados de Segurança, Descrição: O objetivo central deste projeto é o estudo de métodos e técnicas que contribuam para melhorar a confiabilidade dos Sistemas Instrumentados de Segurança das Unidades da Petrobras. O aumento de confiabilidade deve reduzir a probabilidade de falhas e minimizar os riscos de acidentes.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Leandro Dias da Silva - Integrante / Angelo Perkusich - Integrante / Péricles Rezende de Barros - Coordenador / Antonio Marcus Nogueira Lima - Integrante / José Sérgio da Rocha Neto - Integrante / Luiz Paulo de Assis Barbosa - Integrante / Kyller Gorgônio - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação / CENPES/Petrobras - Cooperação.
2006 - 2008

SIS - Sistemas Integrados de Segurança, Descrição: O objetivo central deste projeto é o estudo de métodos e técnicas que contribuam para melhorar a confiabilidade dos Sistemas Instrumentados de Segurança das Unidades da Petrobras. O aumento de confiabilidade deve reduzir a probabilidade de falhas e minimizar os riscos de acidentes.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Leandro Dias da Silva - Integrante / Angelo Perkusich - Integrante / Péricles Rezende de Barros - Coordenador / Antonio Marcus Nogueira Lima - Integrante / José Sérgio da Rocha Neto - Integrante / Luiz Paulo de Assis Barbosa - Integrante / Kyller Gorgônio - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação / CENPES/Petrobras - Cooperação.
2006 - 2008

SIS - Sistemas Integrados de Segurança, Descrição: O objetivo central deste projeto é o estudo de métodos e técnicas que contribuam para melhorar a confiabilidade dos Sistemas Instrumentados de Segurança das Unidades da Petrobras. O aumento de confiabilidade deve reduzir a probabilidade de falhas e minimizar os riscos de acidentes.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Leandro Dias da Silva - Integrante / Angelo Perkusich - Integrante / Péricles Rezende de Barros - Coordenador / Antonio Marcus Nogueira Lima - Integrante / José Sérgio da Rocha Neto - Integrante / Luiz Paulo de Assis Barbosa - Integrante / Kyller Gorgônio - Integrante., Financiador(es): CENPES/Petrobras - Cooperação / Financiadora de Estudos e Projetos - Cooperação.
2006 - 2008

SIS - Sistemas Integrados de Segurança, Descrição: O objetivo central deste projeto é o estudo de métodos e técnicas que contribuam para melhorar a confiabilidade dos Sistemas Instrumentados de Segurança das Unidades da Petrobras. O aumento de confiabilidade deve reduzir a probabilidade de falhas e minimizar os riscos de acidentes.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Leandro Dias da Silva - Integrante / Angelo Perkusich - Integrante / Péricles Rezende de Barros - Coordenador / Antonio Marcus Nogueira Lima - Integrante / José Sérgio da Rocha Neto - Integrante / Luiz Paulo de Assis Barbosa - Integrante / Kyller Gorgônio - Integrante., Financiador(es): CENPES/Petrobras - Cooperação / Financiadora de Estudos e Projetos - Cooperação.
2006 - 2008

SIS - Sistemas Integrados de Segurança, Descrição: O objetivo central deste projeto é o estudo de métodos e técnicas que contribuam para melhorar a confiabilidade dos Sistemas Instrumentados de Segurança das Unidades da Petrobras. O aumento de confiabilidade deve reduzir a probabilidade de falhas e minimizar os riscos de acidentes.. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Leandro Dias da Silva - Integrante / Angelo Perkusich - Integrante / Péricles Rezende de Barros - Coordenador / Antonio Marcus Nogueira Lima - Integrante / José Sérgio da Rocha Neto - Integrante / Luiz Paulo de Assis Barbosa - Integrante / Kyller Gorgônio - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação / CENPES/Petrobras - Cooperação.

Histórico profissional

Endereço profissional

Universidade Federal de Alagoas, Instituto de Computação. , Campus A.C. Simões BR 104-Norte, Km 97, Tabuleiro dos Martins, 57072970 - Maceió, AL - Brasil, Telefone: (082) 32141401, URL da Homepage:

Experiência profissional

2020 - Atual

Universidade Federal de Campina Grande

Vínculo: , Enquadramento Funcional:

2016 - Atual

Universidade Federal de Alagoas

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

2008 - 2016

Universidade Federal de Alagoas

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

1999 - 2000

Universidade Federal de Alagoas

Vínculo: Aluno, Enquadramento Funcional: Bolsista de Iniciação Científica - PIBIC, Carga horária: 20, Regime: Dedicação exclusiva.

1999 - 1999

Universidade Federal de Alagoas

Vínculo: Aluno, Enquadramento Funcional: Monitor

1998 - 1999

Universidade Federal de Alagoas

Vínculo: Aluno, Enquadramento Funcional: Bolsista de Iniciação Científica - PIBIC, Carga horária: 20, Regime: Dedicação exclusiva.

Atividades

03/2012
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, Especificação e Verificação Formal de Sistemas, Teoria da Computação, Redes de Petri
03/2011
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Especificação e Verificação Formal de Sistemas, Introdução a Engenharia de Computação, Linguagens Formais, Autômatos e Computabilidade, Redes de Petri
07/2008
Pesquisa e desenvolvimento, Instituto de Computação.,Linhas de pesquisa
05/2021 - 06/2024
Direção e administração, Instituto de Computação.,Cargo ou função, Coordenação de Engenharia de Computação.
07/2016 - 07/2018
Direção e administração, Instituto de Computação.,Cargo ou função, Vice-Coordenador do Mestrado em Informática..
01/2012 - 07/2016
Direção e administração, Instituto de Computação.,Cargo ou função, Coordenador do Mestrado em Informática.
07/2012 - 07/2015
Outras atividades técnico-científicas , Instituto de Computação, Instituto de Computação.,Atividade realizada, Representante Institucional da Sociedade Brasileira de Computação.
07/2012 - 07/2015
Conselhos, Comissões e Consultoria, Instituto de Computação.,Cargo ou função, Consultoria Ad Hoc para avaliação de projetos e relatórios de pesquisa do PIBIC.
01/2010 - 12/2014
Conselhos, Comissões e Consultoria, Reitoria, Pró-reitoria de Pesquisa e Pós-Graduação - PROPEP.,Cargo ou função, Membro do Comitê Assessor.
01/2011 - 11/2013
Direção e administração, Instituto de Computação.,Cargo ou função, Vice-Coordenador de Engenharia de Computação.
03/2010 - 12/2011
Ensino, Modelagem Computacional de Conhecimento, Nível: Pós-Graduação,Disciplinas ministradas, Ferramentas de Modelagem Computacional
07/2008 - 12/2011
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução à Computação, Laboratório de Programação, Redes de Computadores I, Redes de Computadores II, Redes de Petri, Tópicos Especiais em Computação Móvel e Sem Fio
09/2009 - 10/2011
Outras atividades técnico-científicas , Instituto de Computação, Instituto de Computação.,Atividade realizada, Coordenador de Monitoria.
12/2009 - 02/2011
Direção e administração, Instituto de Computação.,Cargo ou função, Vice-Coordenador do Mestrado em Modelagem Computacional de Conhecimento.
09/2008 - 09/2010
Conselhos, Comissões e Consultoria, Instituto de Computação.,Cargo ou função, Membro do Colegiado de Ciência da Computação.
02/1999 - 02/2000
Outras atividades técnico-científicas , Departamento de Tecnologia da Informação, Departamento de Tecnologia da Informação.,Atividade realizada, Monitoria de Inteligência Artificial I.
07/1998 - 02/2000
Pesquisa e desenvolvimento, Departamento de Tecnologia da Informação.,Linhas de pesquisa

2006 - Atual

Universidade Federal de Campina Grande

Vínculo: Colaborador, Enquadramento Funcional: Colaborador de Pós-Graduação

2006 - 2008

Universidade Federal de Campina Grande

Vínculo: Colaborador, Enquadramento Funcional: Consultor

2002 - 2003

Universidade Federal de Campina Grande

Vínculo: Aluno, Enquadramento Funcional: Estágio Docência, Regime: Dedicação exclusiva.

Atividades

03/2000 - 12/2008
Pesquisa e desenvolvimento, Departamento de Engenharia Elétrica.,Linhas de pesquisa

2019 - 2019

Università degli Studi di Firenze

Vínculo: Professor Visitante, Enquadramento Funcional: Visiting Researcher, Carga horária: 40, Regime: Dedicação exclusiva.

2017 - 2017

Università degli Studi di Firenze

Vínculo: Professor Visitante, Enquadramento Funcional: Visiting Researcher, Carga horária: 40, Regime: Dedicação exclusiva.

2007 - 2008

Universidade Estadual da Paraíba

Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante, Carga horária: 40

2006 - 2007

Universidade Estadual da Paraíba

Vínculo: Professor, Enquadramento Funcional: Professor, Carga horária: 40

Atividades

05/2007 - 06/2008
Ensino, Novas Tecnologias de Informática na Educação, Nível: Especialização,Disciplinas ministradas, Introdução a Informática, Tutores Inteligêntes
02/2006 - 06/2008
Ensino, Licenciatura em Computação, Nível: Graduação,Disciplinas ministradas, Engenharia de Software, Inteligência Artificial Aplicada a Educação, Organização e Arquitetura de Computadores

2004 - 2005

University of California, Santa Cruz, UC Santa Cruz

Vínculo: Pesquisador Visitante, Enquadramento Funcional: Pesquisador Visitante, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

10/2004 - 10/2005
Pesquisa e desenvolvimento, Jack Baskin School of Engineering.,Linhas de pesquisa

2009 - 2014

Fundação de Amparo à Pesquisa do Estado de Alagoas

Vínculo: Colaborador, Enquadramento Funcional: Assessor Científico

1997 - 1997

Telecomunicações de Alagoas S. A.

Vínculo: Estagiário, Enquadramento Funcional: Manutenção, Carga horária: 20

Atividades

01/1997 - 11/1997
Estágios .,Estágio realizado, Manutenção de Centrais Telefônicas.