Allberson Bruno de Oliveira Dantas

[English Version]

Doutor em Ciência da Computação, MDCC-UFC, 2014-2017 (Área: Computação de Alto Desempenho)
Orientador: Prof. Dr. Francisco Heron de Carvalho Junior
Tese: Certificação de Componentes em uma Plataforma de Nuvens Computacionais para Serviços de Computação de Alto Desempenho
Áreas de interesse: Métodos Formais para Programação Paralela (Lógicas para Especificação e Técnicas de Verificação de Programas), Arquitetura de Aplicações em Computação de Alto Desempenho, Componentes de Software de Alto Desempenho, Computação em Nuvem, Verificação como Serviço (VaaS) e Workflows Científicos
Repositório de implementação do projeto: https://github.com/UFC-MDCC-HPC/HPC-Shelf-Certification

Mestre em Ciência da Computação, MDCC-UFC, 2009-2011 (Área: Computação de Alto Desempenho)
Orientador: Prof. Dr. Ricardo Cordeiro Corrêa
Dissertação: Uma Interface de Programação Distribuída para Aplicações em Otimização Combinatória
Palavras-chaves: Paralelismo, Algoritmos Distribuídos e Otimização Combinatória

Publicações Recentes
MParCO: a Minimalist Parallel Framework for Combinatorial Optimization Applications
Allberson Dantas and Ricardo Corrêa and Lucas Vasconcelos. In: Proceedings of the XIX Simpósio de Sistemas Computacionais de Alto Desempenho (WSCAD). São Paulo, Brazil. p. 445–456. 2019.
A Scientific Workflow Management System for Orchestration of Parallel Components in a Cloud of Large-Scale Parallel Processing Services
Jefferson de Carvalho Silva, Allberson Bruno de Oliveira Dantas and Francisco Heron de Carvalho Junior. In: Science of Computer Programming. 2018.
A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services
Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior and Luís Soares Barbosa. In: Proceedings of the 7th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER. Porto, Portugal: ScitePress, 2017. p. 229–240.
Certification of Workflows in a Component-Based Cloud of High Performance Computing Services
Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior and Luís Soares Barbosa. In: Formal Aspects of Component Software: 14th International Conference, FACS, Proceedings. Braga, Portugal: Springer International Publishing, 2017. p. 198–215.

Email: allberson@lia.ufc.br
Links importantes:
Universidade Federal do Ceará (UFC)
Departamento de Ciência de Computação (DC-UFC)
Mestrado e Doutorado em Ciência da Computação (MDCC-UFC)

Seja livre, use Linux!!!