Carlos André Batista de Carvalho

Possui graduação em Bacharelado em Ciência da Computação pela Universidade Federal do Piauí (2004), mestrado em Sistemas e Computação pelo Instituto Militar de Engenharia (2006) e doutorado em Ciência da Computação pela Universidade Federal do Ceará (2018). É professor adjunto da Universidade Federal do Piauí. Tem experiência na área de Ciência da Computação, com ênfase em Redes de Computadores, Computação em Nuvem e Segurança da Informação

Informações coletadas do Lattes em 18/06/2019

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Ciências da Computação

2013 - 2018

Universidade Federal do Ceará
Título: SCUDO: Secure CloUd storage service for Detecting viOlations of security properties in a data sharing environment
Orientador: em Universite d'Evry Val d'Essonne ( Nazim Agoulmine)
com Rossana Maria de Castro Andrade. Coorientador: Miguel Franklin de Castro. Bolsista do(a): Fundação de Amparo à Pesquisa do Estado do Piauí, FAPEPI, Brasil.

Doutorado interrompido em 2008 em Ciências da Computação

2007 - Interrompido

Universidade Federal do Ceará
Título: Um middleware adaptativo para segurança em comunicação sem fio,
Rossana Maria Castro de Andrade. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Ano de interrupção: 2008

Mestrado em Sistemas e Computação

2004 - 2006

Instituto Militar de Engenharia
Título: O Uso de Técnicas de Recuperação de Informações em Criptoanálise,Ano de Obtenção: 2006
José Antônio Moreira Xexéo.Coorientador: Cláudia Maria Garcia de Oliveira. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Criptoanálise; Aplicações de Recuperação de Informações.

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

2000 - 2004

Universidade Federal do Piauí
Título: Proposta de Autenticação Unificada Baseada em Serviço de Diretório
Orientador: Francisco Vieira de Souza

Ensino Médio (2º grau)

1997 - 1999

Colegio São Francisco de Sales

Seção coletada automaticamente pelo Escavador

Formação complementar

2014 - 2015

Francês. (Carga horária: 120h). , Serviço Nacional de Aprendizagem Comercial - CE, SENAC/CE, Brasil.

2009 - 2009

Introdução ao jCompany Developer Suíte. (Carga horária: 40h). , Powerlogic Consultoria e Sistemas S.A., POWERLOGIC, Brasil.

2002 - 2006

Curso de Inglês (10 Módulos). (Carga horária: 400h). , Wizard, WIZARD, Brasil.

2001 - 2001

Extensão universitária em Linguagem de Programação Visual - Delphi Básico. (Carga horária: 20h). , Universidade Federal do Piauí, UFPI, Brasil.

2000 - 2000

Extensão universitária em Montagem e Configuração de Microcomputador. (Carga horária: 12h). , Universidade Federal do Piauí, UFPI, Brasil.

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

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

Português

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

Francês

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

Seção coletada automaticamente pelo Escavador

Áreas de atuação

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

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Segurança da Informação.

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Redes de Computadores.

Seção coletada automaticamente pelo Escavador

Organização de eventos

CARVALHO, Carlos André B. ; MOURA, R. S. . II Simpósio Piauiense de Informática. 2002. (Congresso).

Seção coletada automaticamente pelo Escavador

Participação em eventos

17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID).Secure cloud storage service for detection of security violations. 2017. (Simpósio).

XIV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. 2014. (Simpósio).

Maratona de Programação (International Collegiate Programming Contest).Juiz da Primeira Fase. 2010. (Outra).

VII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. 2007. (Simpósio).

XXI Simpósio Brasileiro de Redes de Computadores. 2003. (Simpósio).

II Simpósio Piauiense de Informática. 2002. (Simpósio).

IMIGRA - SIBGRAPH, IHC, SVR e SBMIDIA. 2002. (Congresso).

XI Seminário de Iniciação Científica da UFPI.Criação de Mundos Virtuais. 2002. (Seminário).

I Simpósio Piauiense de Informática. 2001. (Simpósio).

Teresina.com. 2001. (Seminário).

XXI Congresso da Sociedade Brasileira de Computação. 2001. (Congresso).

I Semana de Informática. 2000. (Simpósio).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Fabrício Sousa Moraes

CARVALHO, Carlos André B.. Estudo de viabilidade do Protocolo de Segurança GSIS em uma Rede Veicular no cenário da UFPI. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí.

Aluno: Filipe S

CARVALHO, Carlos André B.. Viana.EasyWayED - Uma Ferramenta de Apoio ao Ensino de Estrutura de Dados. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí.

Aluno: Felipe Eduardo do Nascimento Mazullo

CARVALHO, Carlos André B.. Estudo de Avaliação de Desempenho de Redes Ópticas Transparentes. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí.

Aluno: Francisco Assis Ricarte Neto

CARVALHO, Carlos André B.. Easy: Dicionário Eletrônico da Língua Portuguesa. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí.

Aluno: Rodrigo Ulisses e Silva

CARVALHO, Carlos André B.. Provalab: Uma ferramenta para aplicação e auto-correção de avaliação no ensino presencial. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí.

Aluno: Christiano de Araújo Pereira Rodrigues

CARVALHO, Carlos André B.. Estudo de Avaliação de Desempenho de Sobrevivência em Redes OCS. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí.

Aluno: Igo Coutinho Moura

CARVALHO, Carlos André B.. HOSNetS: Um Simulador de Redes Ópticas Transparentes com Comutação Híbrida. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí.

Aluno: Rafael Tôrres Anchiêta

CARVALHO, Carlos André B.. Ambiente de Geração de Diagramas de Classes UML a partir de Descrições em Linguagem Natural. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí.

Aluno: Ítalo Linhares de Araújo

CARVALHO, Carlos André B.. Apoio ao uso do Teste de Aceitação Automatizado com FitNesse. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí.

Aluno: Hans Christian Andersen de Melo

CARVALHO, Carlos André B.. Estudo de Vulnerabilidades em Aplicações Web e a Implementação de Mecanismos de Segurança. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí.

Aluno: Marcelo Marinho Soares

CARVALHO, Carlos André B.. Estudo de viabilidade de serviço de streaming de vídeo em uma rede veicular aplicado no cenário da UFPI. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí.

Aluno: Mauro Marinho Soares

CARVALHO, Carlos André B.. Integração da Ferramenta OB2S na Ferramenta TONetS. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí.

Aluno: Paulo Henrique de M

CARVALHO, Carlos André B.. e Sousa Filho.Implementação de Mecanismos de Tolerância a Falhas na Ferramenta TONetS. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí.

Aluno: Clístenes Pereira de Sousa Faria

CARVALHO, Carlos André B.. Thin Clients: Soluções, Implementação e Desempenho. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí.

Aluno: João Eduardo Araújo de Meneses

CARVALHO, Carlos André B.. Análise de Tecnologias para Desenvolvimento de um Sistema de Automação Comercial para a Web. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí.

Aluno: Fernando de Oliveira Costa

CARVALHO, Carlos André B.. Estudo de Avaliação de Desempenho de Algoritmos de Roteamento em Redes Ópticas Transparentes. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí.

Aluno: Ivan Ferreira Lima

CARVALHO, Carlos André B.; CRUZ, R. O.; ARAÚJO, F. J.. Sistema de Controle de Manutenção de Computadores. 2006. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Sistemas de Informação) - Faculdade das Atividades Empresariais de Teresina.

AIRES, Kelson Rômulo T.;CARVALHO, Carlos André B.; DAMASCENO, Maria Francinete; CORTEZ, Baltazar Campos. Professor Auxiliar na área de Sistemas de Informação (Campus de Floriano). 2011. Universidade Federal do Piauí.

LEÃO, Erico Meneses;CARVALHO, Carlos André B.; BRITTO, Ricardo de Sousa; PIRES, Luiz Gonzaga. Professor Assistente na área de Sistemas de Informação (Campus de Floriano). 2010. Universidade Federal do Piauí.

CARVALHO, Carlos André B.; LEÃO, Erico Meneses; SOUSA, Rayner Gomes; SANT'ANA, Alex Sandro C.. Professor Assistente na área de Ciência da Computação (Campus de Picos). 2010. Universidade Federal do Piauí.

CARVALHO, Carlos André B.; SOUSA, Rayner Gomes; VERAS, Frank Cesar L.; SANT'ANA, Alex Sandro C.. Professor Auxiliar na área de Ciência da Computação (Campus de Bom Jesus). 2010. Universidade Federal do Piauí.

SOUZA, F. V.;CARVALHO, Carlos André B.; SANTOS NETO, Pedro de A.; EVANGELISTA, Armstrong Miranda. Professor Assistente na área de Ciência da Computação (Campi de Bom Jesus e Picos). 2009. Universidade Federal do Piauí.

SANTOS, Francisco Nilson R.; LEÃO, Erico Meneses;CARVALHO, Carlos André B.; QUEIROZ, Cleânia de Sales S.. Professor do Ensino Básico, Técnico e Tecnológico na área de Informática. 2009. Universidade Federal do Piauí.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Claudia Maria Garcia Medeiros de Oliveira

XEXEO, J. A. M.;OLIVEIRA, C. M. G. M.; XEXEO, G.; CARVALHO, L. A. V.. O Uso de Técnicas de Recuperação de Informações em Criptoanálise. 2006. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.

Francisco Vieira de Souza

SOUZA, F. V.; LEITE, Paulo Marcos Calland de Sousa; SANTOS, Magno Alves dos. Autenticação Unificada Baseada em Serviço de Diretório. 2004. Trabalho de Conclusão de Curso (Graduação em Bacharelado Em Ciências da Computação) - Universidade Federal do Piauí.

Stênio Flávio de Lacerda Fernandes

GOMES, D. G.; SOUSA, J. N.;FERNANDES, S.. SLA para Segurança em Computação em Nuvem. 2015. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal do Ceará.

Geraldo Bonorino Xexéo

XEXÉO, José Antônio Moreira; OLIVEIRA, C. M. G. M.; LIMA, A. P.;CARVALHO, Luis Alfredo Vidal deXEXEO, G. O Uso de Técnicas de Recuperação de Informações em Criptoanálise. 2006. Dissertação (Mestrado em Engenharia de Sistemas - Informatica) - Instituto Militar de Engenharia.

José Antonio Moreira Xexeo

XEXEO, J. A. M.OLIVEIRA, C. M. G. M.; CARVALHO, L. A. V; XEXÉO, Geraldo Bonorino. Uso de Técnicas de Recuperação da Informação em Criptoanálise. 2006. Dissertação (Mestrado em Engenharia de Sistemas - Informatica) - Instituto Militar de Engenharia.

Elias Procópio Duarte Júnior

ANDRADE, R.SOUZA, J. N.; Agoulmine, Nazim; CASTRO, M. F.;DUARTE JR., E. P.. SCUDO: Secure Cloud Storage Service for Detecting Violations of Security Properties in a Data Sharing Environment. 2018. Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará.

Seção coletada automaticamente pelo Escavador

Orientou

Filipe Almeida de Noronha Moura

Análise de Honeypots de Alta e Baixa Interação para o ambiente da UFPI; 2013; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí; Orientador: Carlos André Batista de Carvalho;

Carlos Fernando Batista Portela

Uma Solução de Segurança em Rede Baseada em Firewall e Proxy para o DIE/UFPI; 2009; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí; Orientador: Carlos André Batista de Carvalho;

Antonio Alves Gonçalves Carvalho

Desenvolvimento Ágil e Sustentável de um AVAE com Ruby on Rails e Scrum; 2009; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí; Orientador: Carlos André Batista de Carvalho;

Hérdeson Sousa Monte

Integração de Serviços LDAP no DIE/UFPI; 2009; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí; Orientador: Carlos André Batista de Carvalho;

Francisco Borges Fernandes Junior

PontoCon: Sistema de Ponto Eletrônico do Governo do Estado do Piauí; 2009; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí; Orientador: Carlos André Batista de Carvalho;

Orlando Inamorato de Carvalho Sá Carlos

Estágio de Campo na Empresa AI Comunicação e Marketing LTDA; 2009; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí; Orientador: Carlos André Batista de Carvalho;

Joel Pessoa Melo

Um Sistema de Controle de Almoxarifado; 2007; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Faculdade das Atividades Empresariais de Teresina; Orientador: Carlos André Batista de Carvalho;

Rosilene Santos Sousa

Um Sistema de Protocolo e Acompanhamento de Processos; 2007; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Sistemas de Informação) - Faculdade das Atividades Empresariais de Teresina; Orientador: Carlos André Batista de Carvalho;

Jônatas Carneiro dos Santos Ferreira

Monitoria da Disciplina Teoria da Computação; 2012; Orientação de outra natureza; (Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí; Orientador: Carlos André Batista de Carvalho;

Thiago Rodrigues Barros da Silva Soares

Monitoria da Disciplina Segurança em Sistemas Computacionais; 2012; Orientação de outra natureza; (Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí; Orientador: Carlos André Batista de Carvalho;

Rogério Figueredo de Sousa

Monitoria da Disciplina Teoria da Computação; 2011; Orientação de outra natureza; (Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí; Orientador: Carlos André Batista de Carvalho;

Jônatas Carneiro dos Santos Ferreira

Monitoria da Disciplina Teoria da Computação; 2011; Orientação de outra natureza; (Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí; Orientador: Carlos André Batista de Carvalho;

Romuere Rodrigues Veloso e Silva

Monitoria da Disciplina Linguagens Formais e Autômata; 2010; Orientação de outra natureza; (Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí; Orientador: Carlos André Batista de Carvalho;

Heloina Alves Arnaldo

Monitoria da Disciplina Estrutura de Dados; 2009; Orientação de outra natureza; (Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí; Orientador: Carlos André Batista de Carvalho;

Cairo Antonio Oliveira Rocha

Monitoria da Disciplina Programação II; 2009; Orientação de outra natureza; (Bacharelado Em Ciência da Computação) - Universidade Federal do Piauí; Orientador: Carlos André Batista de Carvalho;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Francisco Vieira de Souza

Utenticação Unificada Baseada em Serviço de Diretório; 2004; 103 f; Trabalho de Conclusão de Curso; (Graduação em Bacharelado Em Ciências da Computação) - Universidade Federal do Piauí; Orientador: Francisco Vieira de Souza;

Francisco Vieira de Souza

Criação de Mundos Virtuais Usando VRML; 2002; 20 f; Iniciação Científica - Universidade Federal do Piauí, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Francisco Vieira de Souza;

José Antonio Moreira Xexeo

Uso de Técnicas de Recuperação da Informação em Criptoanálise; 2006; Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Jose Antonio Moreira Xexeo;

Miguel Franklin de Castro

SCUDO: Secure CloUd storage service for Detecting viOlations of security properties in a data sharing environment; 2018; Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará,; Coorientador: Miguel Franklin de Castro;

ROSSANA MARIA DE CASTRO ANDRADE

SCUDO: Secure CloUd storage service for Detecting viOlations of security properties in a data sharing environment; 2018; Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, Fundação de Amparo à Pesquisa do Estado do Piauí; Orientador: Rossana Maria de Castro Andrade;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • CARVALHO, CARLOS ANDRÉ BATISTA DE ; ANDRADE, ROSSANA MARIA DE CASTRO ; CASTRO, MIGUEL FRANKLIN DE ; COUTINHO, EMANUEL FERREIRA ; AGOULMINE, NAZIM . State of the art and challenges of security SLA for cloud computing. COMPUTERS & ELECTRICAL ENGINEERING , v. 59, p. 141-152, 2017.

  • CARVALHO, C. A. B. ; ANDRADE, R. M. C. ; MAIA, M. E. F. ; ALBUQUERQUE, D. M. ; PEDROSA, E. T. O. . Neutralizing Vulnerabilities in Android: A Process and an Experience Report. International Journal of Computer Science and Information Security , v. 14, p. 20-29, 2016.

  • OLIVEIRA, CLAUDIA ; XEXÉO, JOSÉ ANTÔNIO ; CARVALHO, Carlos André . Clustering and Categorization Applied to Cryptanalysis. Cryptologia , v. 30, p. 266-280, 2006.

  • ANDRADE, R. M. C. ; CORREIA, M. A. S. ; CARVALHO, C. A. B. ; XIMENES, P. . Evaluate Location Features for Continuous Authentication with Machine Learning Experiments. In: International Workshop on ADVANCEs in ICT Infrastructures and Services, 2018, Santiago. Proceedings of 2018 International Workshop on ADVANCEs in ICT Infrastructures and Services (ADVANCE? 2018), 2018. p. 13-20.

  • CARVALHO, C. A. B. ; ANDRADE, R. M. C. ; AGOULMINE, N. ; CASTRO, M. F. . Detection of access control violations in the secure sharing of cloud storage. In: International Conference on Cloud Computing and Services Science, 2018, Funchal. Proceedings of the 8th International Conference on Cloud Computing and Services Science (CLOSER 2018), 2018. p. 124-135.

  • CARVALHO, C. A. B. ; AGOULMINE, N. ; CASTRO, M. F. ; ANDRADE, R. M. C. . How to improve monitoring and auditing security properties in cloud storage?. In: XXXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC), 2017, Belém. Anais do XXXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos - SBRC 2017, 2017. p. 559-572.

  • CARVALHO, C. A. B. ; ANDRADE, R. M. C. ; CASTRO, M. F. ; AGOULMINE, N. . Modelagem e Detecção de Falhas em Soluções para Armazenamento Seguro em Nuvens usando Redes de Petri Coloridas: Um Estudo de Caso. In: XIV Workshop de Computação em Cloud e Aplicações (WCGA/SBRC), 2016, Salvador. Anais do WCGA 2016: Workshop de Computação em Cloud e Aplicações, 2016. p. 17-30.

  • CARVALHO, CARLOS ANDRE BATISTA DE ; CASTRO, MIGUEL FRANKLIN DE ; ANDRADE, ROSSANA MARIA DE CASTRO . Secure Cloud Storage Service for Detection of Security Violations. In: 2017 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID), 2017, Madrid. 2017 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID), 2017. p. 715-718.

  • CARVALHO, Carlos André B. ; SOUZA, F. V. . Criação de Mundos Virtuais. In: XI Seminário de Iniciação Científica da UFPI, 2002, Teresina. Catálogo de Produção Científica da UFPI 2001/2002, 2002. p. 43-43.

  • CARVALHO, Carlos André B. ; SOUZA, F. V. . Criação de Mundos Virtuais. 2002. (Apresentação de Trabalho/Seminário).

Seção coletada automaticamente pelo Escavador

Outras produções

CARVALHO, C. A. B. . Escola Regional de Informática do Piauí. 2016. (Participação de Comitê de Programa).

CARVALHO, Carlos André B. . A História da Criptografia e Perspetivas Atuais. 2008. (Curso de curta duração ministrado/Extensão).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2014 - 2016

    Privacidade e Armazenamento Seguro em Ambientes de Computação em Nuvem, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Carlos André Batista de Carvalho - Coordenador.Financiador(es): Fundação de Amparo à Pesquisa do Estado do Piauí - Bolsa., Número de produções C, T & A: 1

  • 2014 - 2016

    SLA4Cloud: Measurement and SLA Management of Heterogeneous Cloud Infrastructures, Descrição: The aim of the SLA4CLOUD project is to initiate a major collaboration between research groups of South America and France on Cloud Computing. We propose in this project (i) the development of different offers of Cloud Service with an SLA representation that could be used for offline and online negotiation in cloud environments; (ii) the implementation of a strategy for dynamic consolidations of virtual machines in order to reduce energy consumption without compromising performance requirements concerning availability and SLA violation; (iii) the development of a semi- or fully-automated security policy composition mechanism for composite services in Cloud, while maintaining consistency with the security policies of the external services; (iv) a rule-based pricing system that implements the same intuitive ideas in the shape of policy-rules to improve the quality of service and to increase the global income of a Cloud Computing provider; and v) to deploy the developed mechanisms in a Mobile Cloud Computing scenario as case study and proof-of-concept demonstrator. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: / Mestrado profissional: (5) / Doutorado: (6) . , Integrantes: Carlos André Batista de Carvalho - Integrante / Rossana Maria de Castro Andrade - Integrante / José Neuman de Souza - Integrante / Miguel Franklin de Castro - Integrante / Danielo Gonçalves Gomes - Integrante / Fernando Antônio Mota Trinta - Integrante / Stênio Flávio de Lacerda Fernandes - Integrante / Javier Baliosian - Integrante / Nazim Agoulmine - Coordenador / Hervé Martin - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação., Número de produções C, T & A: 1

  • 2014 - 2015

    SeDAn: Segurança em dispositivos Android - Relatório de vulnerabilidades e testes automáticos de mecanismos de segurança do sistema Android, Projeto certificado pelo(a) coordenador(a) Rossana Maria de Castro Andrade em 31/03/2017., Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Carlos André Batista de Carvalho - Integrante / Rossana Maria de Castro Andrade - Coordenador / Márcio Espíndola Freire Maia - Integrante., Número de produções C, T & A: 1

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Universidade Federal do Piauí, Centro de Ciências da Natureza, Departamento de Computação. , Campus Universitário Ministro Petrônio Portela, SG-9, Ininga, 64049550 - Teresina, PI - Brasil, Telefone: (86) 32155837, URL da Homepage:

Seção coletada automaticamente pelo Escavador

Experiência profissional

  • 2008 - Atual

    Universidade Federal do Piauí

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

  • 2006 - 2007

    Universidade Federal do Piauí

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

  • 2003 - 2003

    Universidade Federal do Piauí

    Vínculo: Bolsista, Enquadramento Funcional: Estagiário, Carga horária: 20

  • 2001 - 2002

    Universidade Federal do Piauí

    Vínculo: Bolsista, Enquadramento Funcional: Monitor

  • 2001 - 2002

    Universidade Federal do Piauí

    Vínculo: Bolsista, Enquadramento Funcional: Aluno de Iniciação Científica

    Outras informações:
    Projeto: ?Criação de Mundos Virtuais?. Orientador: Francisco Vieira de Souza. Bolsista PIBIC/UFPI.

    Atividades

    • 08/2008

      Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Estrutura de Dados, Estruturas de Dados I, Informática Aplicada à Contabilidade, Introdução à Ciência dos Computadores, Introdução à Computação, Introdução à Computação F, Linguagens de Programação e Aplicações, Linguagens Formais e Autômata, Programação II, Segurança em Sistemas Computacionais, Tecnologia da Informação e da Comunicação, Teoria da Computação, Tópicos em Computação, Tópicos em Programação, Construção de Compiladores

    • 07/2010 - 06/2012

      Conselhos, Comissões e Consultoria, Departamento de Informática e Estatística, Departamento de Informática e Estatística.,Cargo ou função, Membro do Núcleo Docente Estruturante (NDE).

    • 04/2009 - 03/2011

      Conselhos, Comissões e Consultoria, Departamento de Informática e Estatística, Departamento de Informática e Estatística.,Cargo ou função, Membro Suplente do Colegiado do Curso de Ciência da Computação.

    • 02/2009 - 07/2010

      Direção e administração, Centro de Educação Aberta e a Distância, .,Cargo ou função, Coordenador de Curso de Bacharelado em Sistemas de Informação.

    • 08/2006 - 02/2007

      Ensino, Bacharelado Em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Construção de Compiladores I, Laboratório de Informática, Linguagens Formais e Autômatos, Microinformática

    • 03/2003 - 04/2003

      Estágios , Núcleo de Processamento de Dados, Setor de Informática.,Estágio realizado, Manutenção de Computadores e Redes de Computadores.

    • 07/2001 - 11/2002

      Pesquisa e desenvolvimento , Departamento de Informática e Estatística, .,Linhas de pesquisa

    • 02/2001 - 06/2002

      Outras atividades técnico-científicas , Centro de Ciências da Natureza, Centro de Ciências da Natureza.,Atividade realizada, Monitorias: Introdução à Computação / Circuitos Digitais / Programação II.

  • 2006 - 2007

    FACULDADE DAS ATIVIDADES EMPRESARIAIS DE TERESINA

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

    Atividades

    • 03/2006 - 02/2007

      Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Computadores e Sociedade, Estrutura de Dados, Introdução a Computação, Laboratório de Programação I, Organização e Arquitetura de Computadores, Pesquisa e Ordenação, Tópicos Especiais em Tecnologia da Informação, Trabalho de Diplomação I e II

  • 2006 - 2006

    Faculdade de Tecnologia do Piaui

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

    Atividades

    • 03/2006 - 12/2006

      Ensino, Bacharelado em Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Redes de Computadores

  • 2013 - Atual

    Universidade Federal do Ceará

    Vínculo: Bolsista, Enquadramento Funcional: Estudante de Doutorado, Carga horária: 40, Regime: Dedicação exclusiva.

    Atividades

    • 04/2013

      Pesquisa e desenvolvimento , Centro de Ciências, Departamento de Computação.,Linhas de pesquisa

  • 2003 - 2004

    Tribunal Regional Eleitoral

    Vínculo: Bolsista, Enquadramento Funcional: Estagiário, Carga horária: 20

    Atividades

    • 05/2003 - 01/2004

      Estágios , Secretaria de Informática, .,Estágio realizado, Desenvolvimento de Sistemas / Manutenção de Computadores.