Carlos Vinicius Andrade Silva
possui graduação sanduíche (bacharelado) em Ciência da Computação pela Universidade Federal da Bahia e Stevens Institute of Technology (2013) - (GPA: 9.5/10.0 e 3.9/4.0), sendo premiado como aluno destaque pela Sociedade Brasileira de Computação com maior nota do curso. Atualmente é Msc. Candidate e Graduate Assistant em U. Manoa pela National Science Foundation, atuando atualmente em (1) Information Theory Learning, (2) Compilers Optimization, e (3) Software Engineering Econometrics com U. Hawaii e NASA Ames. Foi estagiário e contractor pela NASA Ames Research Center em 2012, durante vigência da bolsa Ciência Sem Fronteiras e aceito como Honors UPE e Bloomsbury de mais alta honra. Durante graduação, foi Chair e fundador do primeiro e único capítulo da Association for Computing Machinery do país. Tem interesse em temas relacionados a data mining e aprendizagem de máquina pura e aplicada.
Informações coletadas do Lattes em 06/09/2025
Acadêmico
Formação acadêmica
Mestrado em andamento em Ciência da Computação
2014 - Atual
University of Hawaii at Manoa
Orientador: Rick Kazman;Coorientador: Susane Still. Bolsista do(a): The National Science Foundation.
Graduação em Ciência da Computação
2009 - 2013
Universidade Federal da Bahia
Título: A Framework for Obtaining and Predicting Software Maintenance Effort Estimators
Orientador: Rick Kazman e Eduardo Santana de Almeida
com Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Formação complementar
2013 - 0000
Coursera (MOOC) Machine Learning. (Carga horária: 70h). , Stanford University.
2013 - 2013
Analise de Credito. (Carga horária: 4h). , Universidade Federal da Bahia, UFBA, Brasil.
2013 - 2013
Introdução a Modelagem com Variáveis Latentes. (Carga horária: 12h). , Universidade Federal da Bahia, UFBA, Brasil.
2013 - 2013
Introdução a R. (Carga horária: 20h). , Universidade Federal da Bahia, UFBA, Brasil.
2013 - 2013
Software Analytics: Achievements and Challenges. (Carga horária: 4h). , Universidade Federal da Bahia, UFBA, Brasil.
2013 - 2013
Infographics and Data Visualization. (Carga horária: 20h). , Knight Center for Journalism in the Americas.
2013 - 2013
(MOOC) NoSQL MongoDB. (Carga horária: 70h). , 10gen.
2013 - 2013
Coursera (MOOC) Twitter Sentiment Analysis. (Carga horária: 10h). , University of Washington.
2012 - 2012
Coursera (MOOC) Data Analysis. (Carga horária: 40h). , Johns Hopkins University.
2012 - 2012
Coursera (MOOC) Statistics One. (Carga horária: 60h). , Princeton University.
2011 - 2011
Objective C & iOS Dev. (Carga horária: 8h). , LinguAgil2011.
2010 - 2010
Definição, Implementação:Domain Specific. Language. (Carga horária: 4h). , CBSOFT 2010. Palestrantes: Paulo Borba, Leopoldo Texeira, Márcio Ribeiro.
2010 - 2010
Linhas de Produto de Software. (Carga horária: 4h). , CBSOFT 2010. Palestrante: Eduardo Santana Almeida.
2010 - 2010
Métodos Ágeis de Desenvolvimento de Software. (Carga horária: 4h). , CBSOFT 2010. Palestrante: Daniel Cukier, Rafael Prikladnicki.
2010 - 2010
Documentação de Arquitetura com UML e Mais. (Carga horária: 4h). , CBSOFT 2010. Palestrante: Paulo Merson (SEI, EUA).
2009 - 2010
Curso Avançado de Gramática I (Atualização). (Carga horária: 48h). , Associação Cultural Brasil-Estados Unidos.
2006 - 2009
Curso de Inglês Avançado. (Carga horária: 240h). , Associação Cultural Brasil-Estados Unidos.
2008 - 2008
Elaboração de Projetos de Pesquisa em IC. (Carga horária: 8h). , Universidade Salvador.
2000 - 2005
Curso de Inglês Básico. (Carga horária: 408h). , Associação Cultural Brasil-Estados Unidos.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software/Especialidade: Arquitetura de Software.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software/Especialidade: Engenharia de Software Experimental.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software/Especialidade: Linha de Produtos de Software.
Participação em eventos
Simpósio Brasileiro de Qualidade de Software. 2013. (Simpósio).
LinguAgil2011. 2011. (Outra).
7th International Conference on Open Source Systems (OSS). 2011. (Outra).
Congresso Brasileiro de Software: Teoria e Prática. 2010. (Congresso).
XXIV Simpósio Brasileiro de Engenharia de Software (SBES). 2010. (Simpósio).
IV Simpósio Brasileiro de Componentes, Arquitetura e Reutilização de Software (SBCARS). 2010. (Simpósio).
I Workshop de Tecnologias de Rede do POP-BA. 2010. (Outra).
I Workshop sobre Diretrizes para Jovens Pesquisadores em Engenharia de Software (DJP-ES). 2010. (Outra).
Rise Summer School. 2010. (Outra).
VIII Escola Regional de Computação dos Estados da Bahia, Alagoas e Sergipe (ERBASE´2008). 2008. (Congresso).
I Salvador Java Day. 2008. (Outra).
Produções bibliográficas
-
SILVA, C. V. A. ; SANTOS, M. S. ; Claro, D.B. ; Silva, Veronica ; SILVA, M. ; RIBEIRO, S. ; TELLES, A. R. ; LOPES, D. . Mining Retention Rules from Student Transcripts: A Case Study of the Information Systems programme at a Federal University. Anais do ... Simpósio Brasileiro de Informática na Educação , v. 1, p. 1, 2013.
-
SANTOS, JOSÉ A. M. ; DE MENDONÇA, MANOEL G. ; SILVA, CARLOS V. A. . An exploratory study to investigate the impact of conceptualization in god class detection. In: the 17th International Conference, 2013, Porto de Galinhas. Proceedings of the 17th International Conference on Evaluation and Assessment in Software Engineering - EASE '13. New York: ACM Press, 2013. p. 48.
-
ALMEIDA, E.S ; MACHADO, I. C. ; SILVA, C. V. A. ; GOMES, G. S. S. . Teaching Software Engineering Fundamentals in an Introductory Computer Programming Course. In: IV Fórum de Educação em Engenharia de Software (FEES), 2011, São Paulo. XXV Simposio Brasileiro de Engenharia de Software (SBES), 2011.
-
CAI, Yuanfang ; KAZMAN, Rick ; SILVA, C. V. A. ; Xiao, Lu ; Chen, Hong-Mei . [Book Chapter - Economics-Driven Software Architecture] A Decision-Support System Approach to Economics-Driven Modularity Evaluation. Elsevier (Amsterdam) , 2014.
Outras produções
Aura: A symbolic clone detection tool. 2012.
Ivy: A program navigation log analyzer. 2012.
Aura: A symbolic clone detection tool. 2012. (Relatório de pesquisa).
SILVA, C. V. A. ; Aura: A symbolic clone detection tool. 2012. (Talk).
Projetos de pesquisa
-
2012 - 2014
Análise da Retenção do Alunado da UFBA via Desempenho Acadêmico, Descrição: Devido ao aumento nos ingressos, principalmente por mérito do REUNI, e a baixa taxa de conclusão ainda observada nos diversos cursos da UFBA, faz-se necessário analisar os fatores de retenção que estão prejudicando a integralização curricular dos discentes no tempo médio dos cursos. A retenção, via análise do desempenho acadêmico se caracteriza por determinar qual(is) o(s) componente(s) curricular(es) que retêm os discentes e em quais semestres os mesmos estão mais concentrados. A não semestralização curricular é uma das consequências da retenção, o que traz enormes prejuízos para a universidade. Assim, o presente projeto propõe minerar os dados do Sistema Acadêmico com o intuito de identificar os componentes curriculares e os fatores que têm retido o alunado da UFBA. Pretende-se utilizar um espelho da base de dados do SIAC-UFBA analisando quais algoritmos melhor se compatibilizam às restrições impostas pelo problema da retenção, assim como os pré-requisitos necessários para a execução dos mesmos. Através do processo de descoberta do conhecimento, far-se-á necessário pré-processar a base de dados do SIAC com o intuito de organizar os dados para que os algoritmos possam ser processados. Ao final da execução dos algoritmos, também será necessário uma etapa de pósprocessamento a fim de avaliar os resultados obtidos, incluindo a análise dos fatores encontrados. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) . , Integrantes: Carlos Vinícius Andrade Silva - Integrante / Daniela Barreiro Claro - Coordenador / Ingrid Tapioca - Integrante / Marelo Silva - Integrante.
-
2012 - 2013
A Tool to Enable Technology Transfer for Aerospace Concepts of Operation, Descrição: Technical transfer of concepts of operation from NASA research areas into missions or to outside agencies like the FAA is difficult and expensive. The development of the research prototype does not follow the guidelines specified for operational software. As a result, the research prototypes cannot be transferred directly. The FAA, for example, instead asks NASA to deliver the requirements and specifications that an outside contractor will use to implement the final system. In order to meet certification requirements operational software systems are re-implemented following rigorous processes. The reverse-engineering of requirements and specifications from research prototypes is entirely manual and very costly. This is a significant hindrance in successful tech transfer.This proposal would automate key parts of the process of requirement and specification engineering and reduce the cost of technical transfer.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlos Vinícius Andrade Silva - Integrante / Misty D. Davies - Coordenador / Karen Cate - Integrante / Alan Lee - Integrante / Neha Rungta - Integrante.
-
2011 - 2015
An Economics-Based Framework for Assessing Software Modularization Decisions, Descrição: As software matures, should we refactor or just keep adding features?" Such questions present a recurring dilemma to software practitioners. While the costs of modularization activities, such as refactorings, are significant and immediate, their benefits are largely invisible, intangible, and long-term. But modularity decay causes huge losses in terms of reduced productivity, operational failures and even canceled projects. Our research goal is to provide a scientific foundation for explicitly manifesting the economic implications of software modularization activities so that the costs and the benefits of such activities can be understood, analyzed, and predicted in a way that is amenable to diverse stakeholders: architects, managers, and software engineers who often rationalize their decisions at different abstraction levels. We proposed to (1) conduct extensive empirical studies to establish quantitative relationships between project factors and software modularity variations; (2) create a novel modularity violation detection technique to locate modularity debts, and (3) evaluate a proposed modularization activity by combining Monte Carlo simulation and Datar-Mathews option valuations. This framework has the potential to change the management of software industry by providing a sound basis for the pricing and risk analysis of modularization decisions, based on data-driven cost and benefit estimates.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Carlos Vinícius Andrade Silva - Integrante / Rick Kazman - Integrante / Yuanfang Cai - Coordenador / Alan MacCormack - Integrante., Financiador(es): Software Engineering Institute of Carnegie Mellon - Outra / United States National Science Foundation - Outra.
-
2011 - 2013
SPLSmart: Desenvolvimento de uma Linha de Produtos para Aplicações de Gestão Medica - (Edital RHAE/CNPq Nº 062/2009 - R$ 298.069,71), Descrição: O objetivo deste projeto é o desenvolvimento de uma linha de produtos para aplicações de gestão medica (consultório, clinica, laboratório e hospital) e posterior re-desenvolvimento dos produtos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Doutorado: (4) . , Integrantes: Carlos Vinícius Andrade Silva - Integrante / Eduardo Santana de Almeida - Coordenador / Vinicius Cardoso Garcia - Integrante / Silvio Romero de Lemos Meira - Integrante / Vanilson André de Arruda Burégio - Integrante / Manoel Gomes de Mendonça Neto - Integrante / Ivan do Carmo Machado - Integrante / Luanna Lopes Lobato - Integrante / Ivonei Freitas da Silva - Integrante / André Gomes Silveira - Integrante / Larissa de Carvalho Martins Reis - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
-
2009 - 2011
Tecnologias Inovadoras em Tratamento de Incidentes de Segurança da Informação, Descrição: Incidentes de segurança às informações armazenadas e intercambiadas por meios computacionais constituem grave ameaça à credibilidade e funcionamento dos serviços prestados por instituições privadas e governamentais. Infestações de vírus, roubo de senhas, acesso e disseminação de conteúdo confidencial, ataques de degradação da velocidade da rede computacional e inundação de mensagens não solicitadas se destacam entre as principais ocorrências de incidentes. De fato, segundo pesquisas recentes, o Brasil ocupa a 1ª posição do ranking mundial em máquinas comprometidas utilizadas para práticas criminosas (zumbis) com 16% do total, a 2ª posição nos países produtores de mensagens não solicitadas (spam) e a 3ª posição em mensagens fraudulentas (phishing). Atualmente inexiste estatística consolidada no Estado da Bahia sobre o número, extensão e classificação dos incidentes ligados área de segurança da informação. Além disso, há uma demanda por ferramentas de gestão de incidentes apropriadas ao atendimento e classificação automatizada dessas ocorrências, o que dificulta a adequada tomada de decisões preventivas e corretivas por parte dos gestores de TI. Este projeto objetiva avançar o estado da arte na pesquisa e desenvolvimento de artefatos inovadores para gestão e tratamento de incidentes de segurança, bem como a produção de estatísticas referentes às instituições vinculadas ao Ponto de Presença (PoP) da Rede Nacional de Pesquisa (RNP) no Estado da Bahia. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Carlos Vinícius Andrade Silva - Integrante / Luciano Porto Barreto - Coordenador / Érika Ferreira Santos - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado da Bahia - Auxílio financeiro.
-
2009 - Atual
Engenharia de Software Baseada em Evidências, Descrição: Desenvolvido no contexto do Instituto Nacional de Ciência e Tecnologia em Engenharia de Software (INES). Este projeto tem como objetivos gerais desenvolver metodologias e processos para: 1 - Coordenar estudos experimentais em engenharia de software; 2 - Empacotar, reusar e combinar evidências em engenharia de software experimental; 3 - Apoiar a adoção de tecnologias baseada em evidências experimentais em engenharia de software.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Doutorado: (2) . , Integrantes: Carlos Vinícius Andrade Silva - Integrante / Eduardo Santana de Almeida - Integrante / Manoel Gomes de Mendonça Neto - Coordenador / Daniela Soares Cruzes - Integrante / Karina Villela de Carvalho Lima - Integrante / Glauco de Figueiredo Carneiro - Integrante / Maria Carolina Mello Passos - Integrante / Christina von Flach Garcia Chavez - Integrante / Cláudio Nogueira Sant'Anna - Integrante / Sergio Castelo Branco Soares - Integrante / Eduardo da Silva Aranha - Integrante / Renato Lima Novais - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Prêmios
2013
Member with Highiest Honor, Bloomsbury Honor Society.
2013
TOEFL iBT Test - [Total 115/120] - [Reading 29/30] [Listening 29/30] [Speaking 28/30] [Writing 29/30] - Sat Sep 17 09:19:35 EDT 2011, ETS - TOEFL.
2013
Maior Coeficiente de Rendimento do curso de Ciência da Computação [9.5 / 10.0] durante todo o curso [2009.1 a 2013.1], Universidade Federal da Bahia.
2013
Prêmio Aluno Destaque, Sociedade Brasileira de Computação.
2012
Science Without Borders Sandwich Bachelors Scholarship, Stevens Institute of Technology, CAPES.
2012
Science Without Borders Sandwich Bachelors Scholarship, Hawaii University, CNPQ.
2012
Upsilon Pi Epsilon, UPE Honors Society.
2011
TOEFL iBT Test - [Total 106/120] - [Reading 29/30] [Listening 27/30] [Speaking 22/30] [Writing 28/30] - Sat Sep 17 09:19:35 EDT 2011, ETS - TOEFL.
2010
Chair ACM-SBC UFBA Computer Science Student Chapter (CSSC) - 01-AUG-2010 to 31-JUL-2011 [Featured on XRDS Fall 2011, Vol. 18], ACM.
2009
Student Member of IEEE, IEEE.
2009
Student Member of Association for Computer Machinery, ACM.
2008
Sócio Estudante da Sociedade Brasileira de Computação, SBC.
2008
1º Lugar no Prêmio Melhor Aluno 2008.1 do curso de Ciência da Computação na categoria semestral, Universidade Salvador (UNIFACS).
Histórico profissional
Endereço profissional
-
Universidade Federal da Bahia. , Avenida Ademar de Barros, s/n - Campus de Ondina, 40170-110 - Salvador, BA - Brasil
Experiência profissional
2014 - Atual
Nasa Ames Research CenterVínculo: Remote Researcher, Enquadramento Funcional: Voluntary Research
Outras informações:
Compilers Optimization and LLVM
2012 - 2012
Nasa Ames Research CenterVínculo: Bolsista, Enquadramento Funcional: Summer Intern, Carga horária: 40
Outras informações:
Sponsored by the Science Without Borders program.
2012 - 2012
Nasa Ames Research CenterVínculo: Contractor, Enquadramento Funcional: Remote Researcher, Carga horária: 20
Outras informações:
Voluntary contract for the purpose of research collaboration and remote access to their services (e.g. repositories, etc).
Atividades
-
08/2012
Pesquisa e desenvolvimento , Intelligent Systems Division, Robust Software Engineer.,Linhas de pesquisa
2014 - Atual
University of Hawaii at ManoaVínculo: Celetista, Enquadramento Funcional: Graduate Assistant, Carga horária: 20
Outras informações:
Modularity Economics Lab
2012 - 2014
University of Hawaii at ManoaVínculo: Voluntario, Enquadramento Funcional: Research Assistant, Carga horária: 20
Outras informações:
Research Project Title: An Economics-Based Framework for Assessing Software Modularization Decisions Advisor: Rick Kazman
Atividades
-
01/2012
Pesquisa e desenvolvimento , Information and Computer Sciences, .,Linhas de pesquisa
2012 - 2012
Stevens Institute Of TechnologyVínculo: Research Assistant, Enquadramento Funcional: Volunteer, Carga horária: 20
Outras informações:
Advisor: Professor Linda Laird and Tereza Zigh
Atividades
-
01/2012 - 12/2012
Pesquisa e desenvolvimento , Computer Science Department, .,Linhas de pesquisa
2010 - 2011
Association for Computer MachineryVínculo: Colaborador, Enquadramento Funcional: Chair do Chapter ACM-UFBA
2012 - 2012
Upsilon Pi EpsilonVínculo: Colaborador, Enquadramento Funcional: SIT Historian Webmaster, Carga horária: 10
Outras informações:
Website,Mailing Lists and Wiki tooling and documentation for SIT.
2011 - 2012
MedicWare Sistemas de InformaticaVínculo: Bolsista, Enquadramento Funcional: Pesquisador, Carga horária: 20
2013 - 2014
Universidade Federal da BahiaVínculo: , Enquadramento Funcional: Professor Substituto, Carga horária: 40, Regime: Dedicação exclusiva.
2009 - 2013
Universidade Federal da BahiaVínculo: Livre, Enquadramento Funcional: Voluntário de Iniciação Científica
2011 - 2011
Universidade Federal da BahiaVínculo: Livre, Enquadramento Funcional: Monitor, Carga horária: 12
Outras informações:
Paradigmas de Linguagens de Programação. Prof. Manoel Mendonça
2010 - 2011
Universidade Federal da BahiaVínculo: Bolsista, Enquadramento Funcional: Pesquisador, Carga horária: 20
Outras informações:
Tecnologias Inovadoras em Tratamento de Incidentes de Segurança da Informação. Orientador: Luciano Porto Barreto
2010 - 2010
Universidade Federal da BahiaVínculo: Livre, Enquadramento Funcional: Monitor, Carga horária: 12
Outras informações:
Linguagens Formais e Automatos, Profa: Lais Nascimento Salvador ; Lógica para Computação, Profa. Aline Andrade
2009 - 2010
Universidade Federal da BahiaVínculo: Livre, Enquadramento Funcional: Voluntário, Carga horária: 10
Outras informações:
Central de Processamento de Dados - Projetos Especiais - Projeto EAD/Moodle UFBA. Orientador: Eduardo Lima.
2009 - 2009
Universidade Federal da BahiaVínculo: Livre, Enquadramento Funcional: Voluntário, Carga horária: 10
Outras informações:
Central de Processamento de Dados - Projetos Especiais - Projeto EAD/Moodle UFBA. Orientador: Eduardo Lima.
2009 - 2009
Universidade Federal da BahiaVínculo: Livre, Enquadramento Funcional: Estagiário (Fapex/CEAO), Carga horária: 20, Regime: Dedicação exclusiva.
Outras informações:
Atividades com a plataforma Open Source Moodle, conjunto LAMP e desenvolvimento de interface com os sistemas da universidade. Produção de resumo para Moodle Moot.Orientador: Eduardo Lima.
Atividades
-
10/2013 - 02/2014
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, 2013.2 Estrutura de Dados (68 h) com DCC, 2013.2 Laboratório de Banco de Dados (51 h) com DCC, 2013.2 Recuperação da Informação (51 h) com DCC
-
08/2011 - 12/2011
Outras atividades técnico-científicas , Instituto de matemática, Departamento de Ciência da Computação.,Atividade realizada, Monitoria da disciplina MATA56 - Paradigmas de Linguagens de Programação. Prof. Manoel Mendonça.
-
12/2009 - 08/2011
Pesquisa e desenvolvimento , Instituto de matemática, Departamento de Ciência da Computação.,Linhas de pesquisa
-
08/2010 - 12/2010
Outras atividades técnico-científicas , Instituto de matemática, Departamento de Ciência da Computação.,Atividade realizada, Monitoria da disciplina MATA50 - Linguagens Formais e Autômatos. Profa. Laís do Nascimento Salvador.
-
08/2010 - 12/2010
Outras atividades técnico-científicas , Instituto de matemática, Departamento de Ciência da Computação.,Atividade realizada, Monitoria da disciplina MATA47 - Lógica para Computação. Professora: Aline Maria Santos Andrade.
-
03/2010 - 05/2010
Estágios , Central de Processamento de Dados - UFBA, Projetos Especiais - Projeto EAD UFBa.,Estágio realizado, Adaptação de Templates Foswiki. Request Tracker (RT). Mapeamento de base de dados (Mysql Workbench). Desempenho (Mysql, Apache, Moodle). Administrador Moodle UFBa (Correção de Bugs, Atendimento a usuários, Migração, Instalação de Patches, Módulos)..
-
04/2009 - 12/2009
Estágios , Central de Processamento de Dados - UFBA, Projetos Especiais - Projeto EAD UFBa.,Estágio realizado, Resumo Moodle Moot 2009 (Aceito). Atividades realizadas utilizando ferramentas Open Source (Inkscape,Gimp,SVN,GIT,Tracker). Manutenção de micros(Windows XP e Vista, Ubuntu e Debian). Monitor de Oficina Moodle para Instrutores (2009.2).Foswiki..
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Carlos Vinicius Andrade Silva e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?