Ernesto Cid Brasil de Matos

bachelor's at Bacharelado em Ciência da Computação from Centro de Ensino Unificado de Teresina (2009) and master's at Computer Science from Universidade Federal do Rio Grande do Norte (2012). Has experience in Computer Science, focusing on Software Engeneering, acting on the following subjects: prototipação, engenharia de software, testes funcionais and engenharia de requisitos.
(Text informed by the author)

Last updated 07/03/2017
Address to access this CV:
http://lattes.cnpq.br/4276245931614707

03/07/2017

Personal Information
NameErnesto Cid Brasil de Matos
Bibliographic CitationMATOS, E. C. B.;Matos, Ernesto Cid Brasil;DE MATOS, ERNESTO C. B.

Formal Education/Degree
2012 - 2016Ph.D. in Sistemas e Computação .
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
with collaborative period in Heinrich-Heine Universitãt(Advisor:Michael Leuschel ). Year of degree: 2016.
Advisor: Anamaria Martins Moreira.
Grantee of: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil .
2010 - 2012Master´s in Sistemas e Computação .
Universidade Federal do Rio Grande do Norte, UFRN, Brasil. Year of degree: 2012.
Advisor: Anamaria Martins Moreira.
Grantee of: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior ,CAPES ,Brasil .
Keywords: Engenharia de Software; Métodos Formais; Testes de Software; Método B.
Major Area: Exact and Earth Sciences.
2006 - 2009Graduation in Bacharelado em Ciência da Computação .
Centro de Ensino Unificado de Teresina, CEUT, Brasil.
Advisor: Thiago Carvalho de Sousa.



Complementary Education
2010 - 2010Iniciação à Docência. (Credit Hours: 45h).
Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
2009 - 2009Introdução à Avaliação Automática de Código-Fonte. (Credit Hours: 8h).
Instituto Federal do Piauí, IFPI, Brasil.
2009 - 2009Engenharia de Software para Sistemas Embarcados. (Credit Hours: 6h).
Sociedade Brasileira de Computação - Porto Alegre, SBC, Brasil.
2008 - 2008 Continuing education in Programação Orientada a Objetos com Java. (Credit hours: 26h).
Centro de Ensino Unificado de Teresina, CEUT, Brasil.
2008 - 2008Mineração de Dados utilizando Weka. (Credit Hours: 4h).
CEFET-PI, CEFET-PI, Brasil.
2008 - 2008Proc. de Gerência de Reuso de Software no MPS.BR. (Credit Hours: 12h).
CEFET-PI, CEFET-PI, Brasil.
2007 - 2007Desenvolvimento em Java. (Credit Hours: 40h).
Construtora Sucesso, CS, Brasil.
2007 - 2007Desenvolvimento de Aplicações com Framework .NET. (Credit Hours: 12h).
CEFET-PI, CEFET-PI, Brasil.
2006 - 2006Java Reflection, Crie seu próprio framework. (Credit Hours: 12h).
CEFET-PI, CEFET-PI, Brasil.
2006 - 2006Desenvolvimento de Games. (Credit Hours: 8h).
Centro de Ensino Unificado de Teresina, CEUT, Brasil.
2006 - 2006Linux Básico. (Credit Hours: 12h).
Centro de Ensino Unificado de Teresina, CEUT, Brasil.


Professional Experience
Remanso Mineradora, RM, Brasil.
Contract
2009 - 2010 Type of contract: Colaborator, Functional Placement: , Credit Hours: 30
Construtora Sucesso, CS, Brasil.
Contract
2007 - 2009 Type of contract: Colaborator, Functional Placement: , Credit Hours: 20
Centro de Ensino Unificado de Teresina, CEUT, Brasil.
Contract
2007 - 2007 Type of contract: Monitor, Functional Placement: , Credit Hours: 20

Areas of Expertise
1. Major Area: Exact and Earth Sciences / Area: Computer Science / Subarea: Metodologia e Técnicas da Computação / Specialty: Engenharia de Software.

Languages
English Comprehends Well, Speaks Reasonably, Reads Well, Writes Well.


Scientific, Technological, Artistic and Cultural Production
Bibliographical Production
Articles in Scientific Journals
1.   DE MATOS, ERNESTO C. B. ; MOREIRA, ANAMARIA M. ; DE SOUZA NETO, JOÃO B. . An empirical study of test generation with BETA. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (IMPRESSO), v. 22, p. 8-24, 2016.
2.   MATOS, E. C. B. ; Sousa, Thiago C. . . Innovations in Systems and Software Engineering (Print), v. 6, p. 163-169, 2010.
Complete works published in proceedings of conferences
1. MEDEIROS JR., V. ; DEHARBE, D. ; AZEVEDO, D. ; MATOS, E. C. B. . , 2016. Brazilian Conference on Software: Theory and Practice (CBSoft) - Tools Session, 2016.
2. MATOS, E. C. B. ; MOREIRA, A. M. ; DEHARBE, D. ; HENTZ, C. ; MEDEIROS JR., V. ; SOUZA NETO, J. B. . , 2015, L'Aquila. Lecture Notes in Computer Science, 2015. v. 9154. p. 76-91.
3. MATOS, E. C. B. ; MOREIRA, A. M. ; SOUZA NETO, J. B. . , 2015, Belo Horizonte. Proceedings of the 9th Workshop on Systematic and Automated Software Testing, 2015.
4. MATOS, E. C. B. . , 2015, L'Aquilla. Software Technologies: Applications and Foundations (STAF 2015) Doctoral Symposium, 2015.
5. MATOS, E. C. B. ; MOREIRA, A. M. . , 2013, Brasília. Anais do CBSoft 2013, 2013.
6.   MATOS, E. C. B. ; MOREIRA, A. M. . , 2012, Natal. Formal Methods: Foundations and Applications. Berlin : Springer, 2012.
7. MATOS, E. C. B. ; SOUSA, T. C. . , 2009, Parnaíba. Escola Regional de Computação Ceará - Maranhão - Piauí, 2009.
8. MATOS, E. C. B. ; SOUSA, T. C. . , 2009, Rio de Janeiro. International Workshop for Formal Methods and Agile Methods, 2009.
Expanded Summary published in proceedings of conferences
1.   MATOS, E. C. B. ; MOREIRA, A. M. ; SOUZA, F. M. ; COELHO, R. S. . , 2010, Natal. Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers. Montréal : Centre de Recherche Informatique de Montréal (CRIM), 2010. p. 55-60.
Presentations of Work
1. MATOS, E. C. B. ; SOUSA, T. C. . . 2009. (Presentation/Seminar).
Technical Production
Not Patented or Registered Softwares
1.   MATOS, E. C. B. ; MOREIRA, A. M. . . 2012.

Events
Participation in events
1. . 2010. (Participation In Events/ Congresses).
2. . 2010. (Participation In Events/ Symposium).
3. . 2010. (Participation In Events/ Workshops).
4. . 2010. (Participation In Events/ Workshops).
5. . 2009. (Participation In Events/ Congresses).
6. . 2009. (Participation In Events/ Symposium).
7. . 2008. (Participation In Events/ Congresses).
8. . 2008. (Participation In Events/ Symposium).
9. . 2007. (Participation In Events/ Symposium).
10. . 2006. (Participation In Events/ Symposium).
Organization of Events
1. BUDARUICHE, R. M. S. ; QUEIROZ, Ricardo G. ; MATOS, E. C. B. . . 2009. (Event Production/Congress).
2. BUDARUICHE, R. M. S. ; QUEIROZ, Ricardo G. ; MENESES, Érico L. ; MATOS, E. C. B. . . 2008. (Event Production/Congress).
3. BUDARUICHE, R. M. S. ; MATOS, E. C. B. . . 2007. (Event Production/Congress).
4. BUDARUICHE, R. M. S. ; MATOS, E. C. B. . . 2006. (Event Production/Congress).

Other Relevant Information
Meu período de doutorado sanduíche foi financiado pelo Programa de Doutorado Sanduíche no Exterior (PDSE) tendo a Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) como o instituição de fomento..
Page generated by Lattes Database System - CNPq at 15/10/2018 - 7:27:33