Willian Carlos Souza Martinho
Graduado em Engenharia de Controle e Automação pela Universidade Federal de Minas Gerais (UFMG) em 2017.
Mestre em Ciências da Computação pela Universidade Federal da Bahia (UFBA) em 2020. Atuo como Engenheiro de Desenvolvimento de Produto na Embraer desde 2019. Tenho experência com modelagem e identificação sistemas dinâmicos, otimização baseada em simulação e no desenvolvimento, verificação e validação de software embarcado em sistemas de missão crítica para a industria aeronáutica.
Informações coletadas do Lattes em 18/12/2025
Acadêmico
Formação acadêmica
Mestrado em Ciência da Computação
2018 - 2020
Universidade Federal da Bahia
Título: An improved simulation-based iterated local search metaheuristic for gravity fed water distribution network design optimization,Ano de Obtenção: 2021
Rafael Augusto de Melo.Bolsista do(a): Fundação de Amparo à Pesquisa do Estado da Bahia, FAPESB, Brasil. Palavras-chave: meta-heurística; projeto de redes de distribuiçã de água; busca local iterada; simulação.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação.
Graduação em Engenharia de Controle e Automação
2013 - 2017
Universidade Federal de Minas Gerais
Título: Métodos de estimação dual de estados e parâmetros para desenvolvimento de sensores virtuais de pressão de fundo de poços de petróleo
Orientador: Bruno Otávio Soares Teixeira
Idiomas
Inglê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: 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: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.
Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Modelagem, Análise, Identificação e Controle de Sistemas.
Participação em eventos
I Escola Regional de Teoria da Computação - Nordeste. An improved simulation-based iterated local search metaheuristic for gravity fed water distribution network design optimization. 2019. (Congresso).
LI Simpósio Brasileiro de Pesquisa Operacional (SBPO). Uma metaheurística iterated local search baseada em simulação para o escalonamento de bombas hidráulicas em redes de distribuição de água. 2019. (Congresso).
SIBGRAPI - Conference on Graphics, Patterns and Images.Geração de Malhas Tridimensionais Combinando Dados Visuais e Geométricos. 2015. (Oficina).
XXIII Semana de Iniciação Científica.Geração de Malhas 3D baseado em Dados Geométricos e Visuais. 2014. (Seminário).
Produções bibliográficas
-
MARTINHO, WILLIAN C.S. ; MELO, RAFAEL A. ; SÖRENSEN, KENNETH . An enhanced simulation-based iterated local search metaheuristic for gravity fed water distribution network design optimization. COMPUTERS & OPERATIONS RESEARCH , v. 135, p. 105429, 2021.
-
OLIVEIRA, T. C. ; MARTINHO, W. C. S. ; MELO, R. A. . Uma metaheurística iterated local search baseada em simulação para o escalonamento de bombas hidráulicas em redes de distribuição de água. In: LI Simpósio Brasileiro de Pesquisa Operacional (SBPO), 2019, Limeira. LI SBPO. Campinas: Galoá, 2019. v. 2.
-
MARTINHO, W. C. S. ; MESQUITA, D. B. ; NASCIMENTO, E. R. ; CASTRO, P. M. M. . Geração de Malhas Tridimensionais Combinando Dados Visuais e Geométricos. In: SIBGRAPI - Conference on Graphics, Patterns and Images, 2015, Salvador. Workshop of Undergraduate Works (WUW), 2015.
-
MARTINHO, W. C. S. ; MELO, R. A. . An improved simulation-based iterated local search metaheuristic for gravity fed water distribution network design optimization. 2019. (Apresentação de Trabalho/Congresso).
-
MARTINHO, W. C. S. . Geração de Malhas 3D baseado em Dados Geométricos e Visuais. 2014. (Apresentação de Trabalho/Seminário).
-
MARTINHO, W. C. S. . An Improved Simulation-based Iterated Local Search Metaheuristic For Gravity Fed Water Distribution Network Design Optimization. Salvador: UFBA, 2020 (Dissertação de Mestrado em Ciências da Computação).
-
MARTINHO, W. C. S. . Métodos de estimação dual de estados e parâmetros para desenvolvimento de sensores virtuais de pressão de fundo de poços de petróleo. Belo Horizonte: UFMG, 2016 (Monografia de Graduação em Engenharia de Controle e Automação).
Projetos de pesquisa
-
2018 - 2019
[Universal - CNPQ] Programação inteira e meta-heurísticas: aplicações em redes de distribuição de água e teoria dos grafos, Descrição: Programação inteira e meta-heurísticas tem se mostrado técnicas bastante eficazes para a otimização de processos diversos, incluindo atividades em setores importantes para o desenvolvimento econômico do Brasil, como metalurgia, petroquímica, transporte e diversos outros. Neste projeto, serão estudadas abordagens exatas baseadas em programação inteira e meta-heurísticas aplicadas a problemas desafiadores em redes de distribuição de água e teoria dos grafos. Realizar-se-á um estudo poliedral de formulações, com a descrição de desigualdades válidas ainda desconhecidas. Meta-heurísticas utilizando abordagens eficazes e inovadoras de busca também serão estudadas. As técnicas propostas serão comparadas com as abordagens estado-da-arte apresentadas na literatura. Dentre os problemas a serem considerados, podem-se destacar o problema do projeto de redes de distribuição de água, o problema de escalonamento de bombas em redes de distribuição de água, o problema da b-coloração em grafos, o problema da minimização do conjunto de vértices de retroalimentação, e problemas de roteamento relativos à coleta e entrega de bens. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (4) . , Integrantes: Willian Carlos Souza Martinho - Integrante / Tiago da Conceição Oliveira - Integrante / Rafael Augusto de Melo - Coordenador / Celso da Cruz Carneiro Ribeiro - Integrante / Luidi Gelabert Simonetti - Integrante / Junot Freire dos Santos Neto - Integrante / Michell Felippe Fernandes Macedo Queiroz - Integrante / Marcio Costa Santos - Integrante / Vitor Alves Barbosa - Integrante / Mateus Carvalho da Silva - Integrante / Luis Antônio Modesto Silva - Integrante / Bruno Nunes de Oliveira Machado - Integrante.
Histórico profissional
Experiência profissional
2019 - Atual
EMBRAERVínculo: Celetista, Enquadramento Funcional: Engenheiro de Desenvolvimento de Produto, Carga horária: 44
Outras informações:
Desenvolvimento de software embarcado de missão crítica para aeronaves do mercado de defesa. Responsável pela especificação de requisitos, definição da arquitetura, projeto funcional e realização do software. Especificação de casos de verificação e implementação de procedimentos de testes. Revisão e análise crítica do código fonte. Atuação na certificação de softwares de aeronaves DO-178B/C, MIL-498, ARINC 653. Uso de ferramentas de engenharia de requistos, padrões de projeto, diagramas UML, análise estática, cobertura, code standards, análise de pior caso. Conhecimento no desenvolvimento ágil de software Agile/Scrum, Modelo V.
Atividades
-
12/2019
Serviços técnicos especializados , Engenharia de Software.,Serviço realizado, Desenvolvimento de Software; Verificação, Validação e Teste de Software.
2018 - 2020
Universidade Federal da BahiaVínculo: Bolsista, Enquadramento Funcional: Mestrado Acadêmico, Regime: Dedicação exclusiva.
Outras informações:
Pesquisa e desenvolvimento de algoritmos de otimização baseados em simulação aplicados a redes de distribuição de água. Estudo de meta-heurísticas utilizando abordagens eficazes e inovadoras de busca. Investigação de da estrutura do problema, considerando desde mecanismos que permitem escapar do ótimo local para procedimentos que permitem o comprometimento entre intensificação e diversificação. Proposta de um novo método robusto que alcançaram solução que melhoram o estado atual arte. Produção da dissertação de mestrado utilizado na defesa do título de mestre. Elaboração e publicação de artigo científico em periódico de relevância internacional. Uso de ferramentas estrutura de Dados, simulação, meta-heurística, busca local iterada e EPANET, Bolsista da Fundação de Amparo à Pesquisa do Estado da Bahia (FAPESB)
Orientador: Rafael Augusto de Melo.
Atividades
-
01/2018 - 12/2020
Pesquisa e desenvolvimento, Instituto de Computação, Departamento de Ciências da Computação.,Linhas de pesquisa
2016 - 2016
Universidade Federal de Minas GeraisVínculo: Aluno, Enquadramento Funcional: Pesquisador, Carga horária: 20
Outras informações:
Pesquisa e desenvolvimento de ferramentas para identificação de modelos matemáticos de poços de produção de petróleo. Utilização de dados de variáveis medidas ao longo do processo de produção para construcao de modelos matematicos capazes de descrever o comportamento dinamico da pressao de fundo de pocos. Análise de algoritmos recursivos para estimação de parâmetros variantes no tempo em dados que possuem excitação intermitente. Investigação de abordagens para a atualização de parâmetros no contexto de estimação dual de estados e parâmetros. Projeto em parceria com a Petrobras. Uso de ferramentas MATLAB, Mínimos Quadrados e Filtro de Kalman. Produção de monografia apresentada como trabalho de conclusão de curso de graduação.
Orientador: Bruno Otávio Soares Teixeira.
2014 - 2015
Universidade Federal de Minas GeraisVínculo: Bolsista, Enquadramento Funcional: Iniciação Cientifica, Carga horária: 20
Outras informações:
Pesquisa e desenvolvimento de metodologias para reconstruir tridimensionalmente e mapear ambientes utilizando informações visuais (textura e cor) e geométricas. Implementação de estruturas de dados, bem como novas metodologias de criação de descritores e detectores de pontos de interesse em imagens com dados visuais e geométricos (RGB-D). Emprego de técnicas de alinhamento de nuvens de pontos tridimensionais, algoritmos para reconhecimento, detecção de objetos e renderização dos mapas tridimensionais de maneira fidedigna. Uso de ferramentas OpenCV, Point Cloud Library (PCL), Computational Geometry Algorithms Library (CGAL) e Kinect for Windows SDK. Elaboração de apresentações para conferências e seminários. Produção de resumo expandido aceito no SIBGRAPI 2015. Bolsista da Fundação de Amparo à Pesquisa do Estado de Minas Gerais (FAPEMIG).
Orientador: Erickson Rangel do Nascimento.
Atividades
-
01/2016 - 12/2016
Pesquisa e desenvolvimento, Escola de Engenharia, Departamento de Engenharia Eletrônica.,Linhas de pesquisa
-
04/2014 - 04/2015
Pesquisa e desenvolvimento, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Linhas de pesquisa
2017 - 2018
Mastermaq SoftwareVínculo: Celetista, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40
Outras informações:
Desenvolvimento de testes automatizados para assegurar a qualidade de software. Teste funcional dos controles da interface do usuário. Especificação de casos de verificação e implementação de procedimentos de teste. Gerenciamento do framework para testes automatizados em máquinas virtuais. Validação do software em relação ao desempenho e funcionalidade esperados.
Uso de ferramentas C#, Coded UI test, VMware e Microsoft SQL Server.
Atividades
-
09/2017 - 02/2018
Serviços técnicos especializados , Desenvolvimento de Software.,Serviço realizado, Automação de Testes.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Willian Carlos Souza Martinho 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?