Draylson Micael de Souza

Draylson Micael de Souza nasceu em São Carlos, São Paulo, Brasil. Se formou Bacharel em Informática na Universidade de São Paulo (ICMC/USP), bem como realizou o seu mestrado e doutorado em Ciência de Computação e Matemática Computacional, ambos também na Universidade de São Paulo (ICMC/USP) em São Carlos, São Paulo, Brasil. Durante o seu curso de doutorado, realizou um estágio no exterior na University of Kent at Canterbury (UKC) em Canterbury, Inglaterra, Reino Unido. Após o seu doutorado, trabalhou como professor no Instituto Federal de educação, ciência e tecnologia de São Paulo (IFSP Câmpus Campinas) em Campinas, São Paulo, Brasil. Em seguida, atuou como pesquisador e desenvolvedor Android na Fubá Educação Ambiental e Criatividade LTDA/ME em São Carlos, São Paulo, Brasil. Atualmente, ele é um analista de tecnologia no Serviço Federal de Processamento de Dados (Serpro), a maior empresa estatal brasileira de serviços de TI, em São Paulo, São Paulo, Brasil.

Informações coletadas do Lattes em 02/08/2025

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação e Matemática Computacional

2012 - 2017

Universidade de São Paulo
Título: Subsídios à Integração de Ferramentas de Avaliação Automática e Sistemas de Gerenciamento de Aprendizagem
Orientador: em University of Kent ( Michael Kölling)
com , Ano de obtenção: 2017. Ellen Francine Barbosa. Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: Ensino e aprendizagem; Fundamentos de programação; Ferramentas de avaliação; Arquitetura; Middleware.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Fundamentos de Programação. Setores de atividade: Pesquisa e desenvolvimento científico; Educação.

Mestrado em Ciências da Computação e Matemática Computacional

2010 - 2012

Universidade de São Paulo
Título: Ensino e Aprendizado de Fundamentos de Programação: uma Abordagem baseada em Teste ca de Software, Ano de Obtenção: 2012
Ellen Francine Barbosa.Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: Ensino e aprendizagem; Ferramentas de avaliação; Fundamentos de programação; Teste de software.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Fundamentos de Programaçã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: Teste de Software. Setores de atividade: Pesquisa e desenvolvimento científico; Educação.

Graduação em Bacharelado em Informática

2006 - 2010

Universidade de São Paulo
Título: PROGTEST: Um Ambiente para Submissão e Avaliação Automática de Trabalhos de Programação baseado em Atividades de Teste.
Orientador: Ellen Francine Barbosa

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Português

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

Áreas de atuação

Grande área: Ciências Humanas / Área: Educação / Subárea: Ensino-Aprendizagem/Especialidade: Tecnologia Educacional.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Fundamentos de Programaçã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: Linguagens de Programaçã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: Metodologia e Técnicas da Computação/Especialidade: Teste de Software.

Participação em eventos

29th IEEE Conference on Software Engineering Education and Training (CSEE&T 2016). A Systematic Literature Review of Assessment Tools For Programming Assignments. 2016. (Congresso).

44th Annual Frontiers in Education (FIE 2014). Towards the use of an automatic assessment system in the teaching of software testing. 2014. (Congresso).

XVI Ibero-American Conference on Software Engineering (CIbSE 2013) - 10th Experimental Software Engineering Latin American Workshop (ESELAW 2013). Um Estudo Experimental do Ambiente ProgTest no Ensino de Programação. 2013. (Congresso).

Congresso Brasileiro de Informática na Educação 2012 (CBIE 2012) - 23º Simpósio de Informática na Educação (SBIE 2012). Aspectos de Desenvolvimento e Evolução de um Ambiente de Apoio ao Ensino de Programação e Teste de Software. 2012. (Congresso).

24th Conference on Software Engineering Education and Training (CSEET 2011). ProgTest: An Environment for the Submission and Evaluation of Programming Assignments based on Testing Activities. 2011. (Congresso).

II Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2011) - XVIII Sessão de Ferramentas. Uma Contribuição à Submissão e Avaliação Automática de Trabalhos de Programação com base em Atividades de Teste. 2011. (Congresso).

III Workshop PROCAD (Programa de Cooperação Acadêmica entre ICMC/USP, UEM e PUC-RS)).Ensino e Aprendizado de Fundamentos de Programação: uma Abordagem baseada em Teste ca de Software. 2010. (Oficina).

17ª Simpósio Internacional de Iniciação Científica da USP.ProgTest: Um Ambiente para Submissão e Avaliação Automática de Trabalhos de Programação baseado em Atividades de Teste. 2009. (Simpósio).

I Workshop PROCAD (Programa de Cooperação Acadêmica entre ICMC/USP, UEM e PUC-RS)).ProgTest: Um Ambiente para Submissão e Avaliação Automática de Trabalhos de Programação baseado em Atividades de Teste. 2009. (Oficina).

16º Simpósio Internacional de Iniciação Científica da USP (SIICUSP).Aspectos de Desenvolvimento e Evolução do Ambiente ProgTest. 2008. (Simpósio).

IV Experimental Software Engineering Latin America Workshop (ESELAW). 2007. (Oficina).

Orientou

Matheus José Castro

A cor adaptada e traduzida: Aplicativo Android para auxílio em execução e formação de catálogo de cores; 2018; Monografia; (Aperfeiçoamento/Especialização em Tecnologia em Análise de Desenvolvimento de Sistemas) - Instituto Federal de São Paulo; Orientador: Draylson Micael de Souza;

José Guilherme Marques de Castro

Reforma agrária e tecnologias sociais -- desenvolvimento do banco de dados "Dataluta Produção" para a RMC; 2018; Iniciação Científica; (Graduando em Análise e Desenvolvimento de Sistemas) - Instituto Federal de São Paulo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Draylson Micael de Souza;

Produções bibliográficas

  • SOUZA, D. M. ; BATISTA, M. H. S. ; BARBOSA, E. F. . Problemas e Dificuldades no Ensino de Programação: Um Mapeamento Sistemático. REVISTA BRASILEIRA DE INFORMÁTICA NA EDUCAÇÃO , v. 24, p. 36-52, 2016.

  • SOUZA, DRAYLSON MICAEL DE ; ISOTANI, SEIJI ; BARBOSA, ELLEN FRANCINE . Teaching novice programmers using ProgTest. International Journal of Knowledge and Learning , v. 10, p. 60-77, 2015.

  • SOUZA, D. M. ; BATISTA, M. H. S. ; BARBOSA, E. F. . Avaliação de Qualidade de um Ambiente de Apoio ao Ensino de Programação. RENOTE. REVISTA NOVAS TECNOLOGIAS NA EDUCAÇÃO , v. 12, p. 1-10, 2014.

  • PRATES, J. M. ; SCATALON, L. P. ; SOUZA, D. M. ; BARBOSA, E. F. ; GARCIA, R. E. . Towards the role of test design in programming assignments. In: 30th IEEECS Conference on Software Engineering Education and Training (CSEE&T), 2017, Savannah, Georgia. In Proceedings of thr 30th IEEECS Conference on Software Engineering Education and Training (CSEE&T), 2017.

  • SOUZA, D. M. ; KÖLLING, M. ; BARBOSA, E. F. . Most Common Fixes Students Use To Improve The Correctness Of Their Programs. In: 47th Annual Frontiers in Education (FIE), 2017, Indianapolis, Indiana. In Proceedings of the 47th Annual Frontiers in Education, 2017.

  • SOUZA, D. M. ; FELIZARDO, K. R. ; BARBOSA, E. F. . A Systematic Literature Review of Assessment Tools For Programming Assignments. In: 29th IEEE Conference on Software Engineering Education and Training (CSEE&T 2016), 2016, Dallas, TX. In Proceedings of the 29th IEEE Conference on Software Engineering Education and Training, 2016. p. 147-156.

  • SOUZA, D. M. ; SOUZA, S. R. S. ; OLIVEIRA, B. H. ; MALDONADO, J. C. ; BARBOSA, E. F. . Towards the use of an automatic assessment system in the teaching of software testing. In: 44th Annual Frontiers in Education (FIE 2014), 2014, Madrid. In Proceedings of the 44th Annual Frontiers in Education, 2014. p. 1-8.

  • FREITAS FILHO, N. D. ; SOUZA, D. M. ; PAIVA, S. L. C. ; BARBOSA, E. F. . Estabelecimento de Microblogs para Comunicação e Interação em Ambientes de Aprendizado Móve. In: 11th International Conference on Information Systems and Terchnology Management (CONTECSI), 2014, São Paulo. Proceedings of the 11th International Conference on Information Systems and Terchnology Management, 2014. p. 1-10.

  • SOUZA, D. M. ; PAIVA, S. L. C. ; FREITAS FILHO, N. D. ; BARBOSA, E. F. . Um Estudo Experimental sobre o Ambiente ProgTest no Ensino de Programação.. In: XVI Ibero-American Conference on Software Engineering (CIbSE 2013) - 10th Experimental Software Engineering Latin American Workshop (ESELAW 2013), 2013, Montevideo. Memorias del X Workshop Latinoamericano Ingeniería de Software Experimental ESELAW 2013, 2013. p. 75-88.

  • SOUZA, D. M. ; MALDONADO, J. C. ; BARBOSA, E. F. . Aspectos de Desenvolvimento e Evolução de um Ambiente de Apoio ao Ensino de Programação e Teste de Software. In: Congresso Brasileiro de Informática na Educação 2012 (CBIE 2012) - 23º Simpósio de Informática na Educação (SBIE 2012), 2012, Rio de Janeiro. Anais do 23º Simpósio de Informática na Educação (SBIE 2012), 2012. p. 1-10.

  • SOUZA, D. M. ; BARBOSA, E. F. ; MALDONADO, J. C. . Uma Contribuição à Submissão e Avaliação Automática de Trabalhos de Programação com base em Atividades de Teste. In: II Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2011) - XVIII Sessão de Ferramentas, 2011, São Paulo. Anais do II Congresso Brasileiro de Software: Teoria e Prática, 2011. p. 65-71.

  • SOUZA, D. M. ; MALDONADO, J. C. ; BARBOSA, E. F. . ProgTest: Apoio Automatizado ao Ensino de Programação e Teste de Software. In: XXII Simpósio Brasileiro de Informática na Educação (SBIE 2011) - XVII Workshop de Informática na Escola (WIE 2011), 2011, Aracaju. Anais do XXII SBIE - XVII WIE, 2011. p. 1893-1897.

  • SOUZA, D. M. ; MALDONADO, J. C. ; BARBOSA, E. F. . ProgTest: An environment for the submission and evaluation of programming assignments based on testing activities. In: 24th IEEECS Conference on Software Engineering Education and Training (CSEE&T 2011), 2011, Honolulo. 2011 24th IEEECS Conference on Software Engineering Education and Training (CSEE&T), 2011. p. 1-10.

  • SOUZA, D. M. ; BARBOSA, E. F. . ProgTest: Um Ambiente para Submissão e Avaliação Automática de Trabalhos de Programação baseado em Atividades de Teste. In: 17ª Simpósio Internacional de Iniciação Científica da USP, 2009, São Carlos. Anais do 17ª Simpósio Internacional de Iniciação Científica da USP, 2009. p. 4002-4002.

  • SOUZA, D. M. ; BARBOSA, E. F. . ProgTest: Um Ambiente para Submissão e Avaliação Automática de Trabalhos de Programação baseado em Atividades de Teste. In: Anais do III Workshop de Iniciação Científica e Tecnológica, 2009, São Carlos. III Workshop de Iniciação Científica e Tecnológica, 2009. p. 67-68.

  • SOUZA, D. M. ; RIEKSTIN, A. C. ; BARBOSA, E. F. . Aspectos de Desenvolvimento e Evolução do Ambiente ProgTest. In: Anais do 16º Simpósio Internacional de Iniciação Científica da USP (SIICUSP), 2008, São Paulo - SP. 16º Simpósio Internacional de Iniciação Científica da USP (SIICUSP), 2008. p. 4459-4459.

Projetos de pesquisa

  • 2019 - Atual

    Pesquisa e desenvolvimento de aplicativo móvel com acessibilidade para espaços educadores, Descrição: Pesquisa e desenvolvimento de aplicativos móveis com acessibilidade para atuarem como ferramentas de educação ambiental à visitantes em parques e instituições semelhantes.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Draylson Micael de Souza - Coordenador / Flávia Torreão Corrêa da Silva Thiermann - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.

  • 2012 - 2017

    Subsídios à Integração de Ferramentas de Avaliação Automática e Sistemas de Gerenciamento de Aprendizagem, Projeto certificado pelo(a) coordenador(a) Ellen Francine Barbosa em 03/05/2013., Descrição: Projeto e construção de uma arquitetura orientada a serviços (SOA) para integração de ferramentas de avaliação para trabalhos de programação (ProgTest, Web-CAT, BOCA) em ambientes de aprendizagem e de desenvolvimento (Moodle, BlueJ).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Draylson Micael de Souza - Integrante / Ellen Francine Barbosa - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa., Número de produções C, T & A: 4

  • 2010 - 2012

    Ensino e Aprendizado de Fundamentos de Programação: uma Abordagem baseada em Teste de Software, Projeto certificado pelo(a) coordenador(a) Ellen Francine Barbosa em 03/05/2013., Descrição: O projeto teve como principal objetivo a integração de ferramentas de teste ao ambiente PROGTEST, propiciando aos alunos a possibilidade de usar diferentes técnicas e critérios na condução de seus testes.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Draylson Micael de Souza - Integrante / Ellen Francine Barbosa - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa., Número de produções C, T & A: 6

  • 2009 - 2009

    ProgTest: Um Ambiente para Submissão e Avaliação Automática de Trabalhos de Programação baseado em Atividades de Teste, Projeto certificado pelo(a) coordenador(a) Ellen Francine Barbosa em 03/05/2013., Descrição: O projeto teve como principal objetivo a evolução e validação do ambiente PROGTEST - um ambiente para submissão e avaliação automática de trabalhos práticos de programação, baseado em teste de software.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Draylson Micael de Souza - Integrante / Ellen Francine Barbosa - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa., Número de produções C, T & A: 4

  • 2008 - 2008

    Aspectos de Desenvolvimento, Evolução e Validação do Ambiente ProgTest, Projeto certificado pelo(a) coordenador(a) Ellen Francine Barbosa em 16/08/2013., Descrição: O projeto teve como principal objetivo o desenvolvimento do ambiente PROGTEST - um ambiente para submissão e avaliação automática de trabalhos práticos de programação, baseado em teste de software.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Draylson Micael de Souza - Integrante / Ana Cláudia Riekstin - Integrante / Ellen Francine Barbosa - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa., Número de produções C, T & A: 2

  • 2007 - 2008

    Subsídios à Elaboração e Uso de Pacotes de Laboratório no Ensino de Inspeção e Teste de Software, Projeto certificado pelo(a) coordenador(a) Ellen Francine Barbosa em 03/05/2013., Descrição: O projeto teve como principal objetivo a elaboração e uso de pacotes de laboratório no ensino de inspeção e teste de software. O trabalho foi realizado dentro do Programa de Iniciação Científica e Tecnológica do ICMC-USP (PICT).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Draylson Micael de Souza - Integrante / Ellen Francine Barbosa - Coordenador.

Prêmios

2010

Diploma de mérito acadêmico por ter se destacado com o melhor desempenho acadêmico da turma de formandos que concluíram o curso de Bacharelado em Informática no ano de 2009, Universidade de São Paulo (ICMC/USP).

2009

Melhor artigo da categoria short paper do III Workshop de Iniciação Científica e Tecnológica (III WICT Comp), Universidade de São Paulo (ICMC/USP).

Histórico profissional

Experiência profissional

2019 - 2023

Fubá Educação Ambiental

Vínculo: Bolsista e CLT, Enquadramento Funcional: Pesquisador e Desenvolvedor Android Bolsista, Carga horária: 40, Regime: Dedicação exclusiva.

2017 - 2019

Instituto Federal de São Paulo

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

Outras informações:
Grupos de pesquisa: Núcleo de Estudos em Agroecologia, Educação e Sociedade (NEAES). Disciplinas: 2007/2, LP1L1, Linguagem de Programação I (linguagem C); 2007/2, BDIL2, Banco de Dados I; 2007/2, DSWL6, Desenvolvimento de Sistemas Web; 2008/1, LP3L3, Linguagem de Programação III (Java); 2008/1, POOL4, Programação Orientada a Objetos; 2008/1, Escrita científica em LaTeX; 2008/1, Elaboração de planilhas, documentos e apresentações em software livre; 2008/1, Informática para a terceira idade; 2008/2, LP3L3, Linguagem de Programação III (Java); 2008/2, POOL4, Programação Orientada a Objetos; 2008/2, ASWL4, Arquitetura de Software; 2008/2, POOT2, Programação Orientada a Objetos; 2008/2, ETGT2, Empreendedorismo e Técnicas de Gestão; 2009/1, LP3L3, Linguagem de Programação III (Java); 2009/1, POOT2, Programação Orientada a Objetos; 2009/1, FPRT2, Fundamentos de Programação (linguagem C); 2009/1, PJIT3, Projeto Integrador.

2007 - 2017

Universidade de São Paulo

Vínculo: Aluno, Enquadramento Funcional: Pesquisador Voluntário e Pesquisador Bolsista, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Grupos de pesquisa: Laboratório de Engenharia de Software (LabES), Grupo de Pesquisa em Computação Aplicada à Educação e Tecnologia Social Avançada (CAEd);

2011 - 2014

Universidade de São Paulo

Vínculo: Aluno, Enquadramento Funcional: Estagiário em Docência, Carga horária: 6

Outras informações:
Disciplinas: 2011/1, SSC-0122, Engenharia de Software II; 2011/2, SSC-0620, Engenharia de Software; 2012/2, SSC-0523, Tópicos Especiais em Engenharia de Software; 2013/1, SSC-0721, Teste e Inspeção de Software; 2014/1, SCC-0130, Engenharia de Software.

2015 - 2016

University of Kent

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

Outras informações:
Grupos de pesquisa: Computing Education Research Group

2024 - Atual

Serviço Federal de Processamento de Dados

Vínculo: Funcionário público, Enquadramento Funcional: Analista de tecnologia, Carga horária: 40, Regime: Dedicação exclusiva.