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

Ensino Médio (2º grau)

2007 - 2010

Centro Educacional São Gotardo

Idiomas

Bandeira representando o idioma 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

EMBRAER

Ví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 Bahia

Ví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 Gerais

Ví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 Gerais

Ví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 Software

Ví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.