Egressos do Programa de Pós-Graduação em Ciência da Computação

Higor Amario de Souza

Graduado em Sistemas de Informação pela Universidade de São Paulo (EACH 2010), possui mestrado em Sistemas de Informação pela Universidade de São Paulo (EACH 2012) e doutorado em Ciência da Computação pela Universidade de São Paulo (IME 2018). Durante o doutorado foi pesquisador visitante no Georgia Institute of Technology (GeorgiaTech - EUA). Atualmente, é Professor Doutor no Departamento de Engenharia de Computação e Sistemas Digitais (PCS) da Escola Politécnica da Universidade de São Paulo. Tem experiência na área de Engenharia de Software, Desenvolvimento de Sistemas, Sistemas de Informação e Ciência de Dados, com interesse em Teste e Depuração de Software, Cidades Inteligentes e Mobilidade Urbana. (Texto informado pelo autor)

  • http://lattes.cnpq.br/0958788389261134 (21/01/2026)
  • Rótulo/Grupo: * Sem rótulo
  • Bolsa CNPq:
  • Período de análise:
  • Endereço: Universidade de São Paulo, Escola Politécnica, Departamento de Engenharia de Computação e Sistemas Digitais. Av. Prof. Luciano Gualberto, travessa 3, no. 158 Butantã 17033360 - São Paulo, SP - Brasil Telefone: (11) 30910665 URL da Homepage: https://higoramario.gitlab.io/
  • Grande área: Ciências Exatas e da Terra
  • Área: Ciência da Computação
  • Citações: Google Acadêmico

Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

Prêmios e títulos

Participação em eventos

Organização de eventos

Lista de colaborações

Produção bibliográfica

Produção técnica

Produção artística

Orientações em andamento

Supervisões e orientações concluídas

Projetos de pesquisa

  • Total de projetos de pesquisa (11)
    1. 2025-Atual. Comparando rotas ideais e reais de bicicleta para suporte a políticas públicas de mobilidade ativa
      Descrição: Esta proposta de projeto de pesquisa visa comparar rotas ideais de viagens de bicicleta, sugeridas por algoritmos de recomendação, com rotas reais de ciclistas na cidade de São Paulo, utilizando dados de uma recente pesquisa realizada com ciclistas e dados do aplicativo Strava. A crescente relevância da bicicleta como meio de transporte traz diversos benefícios ambientais, sociais e econômicos para a cidade e seus cidadãos. São Paulo apresenta alto potencial ciclável, com uma infraestrutura cicloviária crescente na última década, mas ainda menor que o planejado para 2028. Desta forma, compreender o comportamento de deslocamento dos ciclistas pode colaborar para a implementação de novas infraestruturas cicloviárias. Além disso, entender as semelhanças e diferenças entre as rotas sugeridas por algoritmos de roteamento e o comportamento real dos ciclistas permite avaliar se as rotas ideais sugeridas podem colaborar no planejamento da infraestrutura cicloviária em locais em que não há dados reais de deslocamento de ciclistas. Pode-se ainda usar as informações das rotas reais para melhorar a sugestão de rotas. Os objetivos deste trabalho incluem desenvolver algoritmos para sugerir rotas mais adequadas, identificar fatores que influenciam escolhas, analisar áreas de maior interesse epropor locais para instalação de novas ciclovias. A metodologia envolve revisão bibliográfica, coleta e tratamento de dados do Strava e de APIs de serviços de rotas, comparação de rotas reais e ideais, uso de algoritmos de escolha de caminhos como Dijkstra, A*, além de técnicas baseadas em aprendizado de máquina. A análise buscará diferenças em distância, tempo, tipo de via, infraestrutura, presença de pontos de interesse e condições ambientais. O projeto prevê também a realização de estágio no exterior (BEPE) em uma universidade de referência internacional em mobilidade cicloviária. Espera-se contribuir para o planejamento urbano de mobilidade ativa.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (1) . Integrantes: Higor Amario de Souza - Coordenador / Gabriel Campanelli Iamato - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.
      Membro: Higor Amario de Souza.
    2. 2025-Atual. Improving Automated Debugging using Mining Software Repositories and Large Language Models
      Descrição: Debugging and testing activities are essential to ensure the quality of software systems. Although test execution can be automated, debugging, which comprises locating and fixing faults, is still performed manually. Given that testing and debugging tasks account for up to 70\ of the time spent on the entire system development process, it is important to find ways to automate debugging to reduce the costs and time for software development and evolution.The use of code repositories is a practice adopted by software development teams worldwide. Open source software projects hosted on these repositories can provide data to understand the activities carried out during development. Mining Software Repositories is a research area that explores patterns associated with software development. Recently, the emergence of Large Language Models has made it possible to use large textual data sources, including programming languages, to generate syntheses and information patterns similar to how we communicate or write programs.This research project aims to explore ways to use MSR and LLM to automate software debugging. From that, we will propose methodologies that may reduce the effort spent on locating and fixing software faults. The project will also investigate how such techniques may be applied in real-world development settings. Finally, the project may also collaborate to understand how other Software Engineering tasks (e.g., testing, refactoring, devops) are being performed in practice.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . Integrantes: Higor Amario de Souza - Coordenador.
      Membro: Higor Amario de Souza.
    3. 2024-2025. Trajetórias Profissionais dos Egressos dos Cursos de Graduação da UNESP
      Descrição: Trata-se de uma pesquisa com o objeto de descrever as trajetórias profissionais dos egressos dos cursos de graduação da UNESP, com no mínimo 10 anos de formados. Selecionou-se como público-alvo os alunos que ingressaram nos cursos de graduação nos anos de 2003, 2004 e 2005. Para tanto, foi elaborado um roteiro de entrevista flexível capaz de captar as trajetórias profissionais de diferentes cursos de graduação, uma vez a UNESP possui 137 cursos neste nível de ensino. Os dados de cada curso serão analisados individualmente tendo como referência a definição da razão de ser de cada um dos cursos, que será elaborada pelo pesquisador do curso em conjunto com a coordenação do curso. A equipe de pesquisadores da pesquisa é formada por professores que atuam nos cursos de graduação, que conta com o apoio de um bolsista. Como resultado espera-se conhecer as trajetórias profissionais dos egressos, identificar a via de acesso ao mercado de trabalho, o cargo que ocupam e o impacto do curso na vida profissional dos egressos tomados como objeto de estudo.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (99) . Integrantes: Higor Amario de Souza - Integrante / Roberta Spolon - Integrante / André Luis Debiaso Rossi - Integrante / Roberto Louzada - Coordenador.
      Membro: Higor Amario de Souza.
    4. 2024-Atual. Projeto-piloto do Bike SP - Bonificando quem usa a bicicleta como meio de transporte
      Descrição: O programa Bike SP é uma lei municipal (Lei 16.547/2016) que consiste em dar incentivos, por meio da concessão de créditos no Bilhete Único, à realização de deslocamentos cicloviários em substituição a modos de transporte automotores. A lei ainda requer regulamentação. A convite da Secretaria Municipal de Mobilidade e Trânsito de São Paulo (SMT), o IME--USP foi convidado a realizar um projeto-piloto que simulasse a execução real do programa, com ciclistas pedalando nas ruas e registrando seus deslocamentos, de forma a embasar com dados empíricos a melhor forma de implementá-lo. O IME desenvolveu uma metodologia de pesquisa com dois objetivos principais: (1) definir os públicos prioritários, para que o programa seja uma política afirmativa de efetivação do direito à cidade, redução de desigualdades e de promoção da inclusão social; e (2) definir o valor dos créditos a serem concedidos de forma que o programa se torne um incentivo atrativo para novas pessoas ciclistas.Para o edital Vai Longe 2024, propomos fazer uma versão do piloto que dure 3 meses e envolva cerca de 500 ciclistas, a serem escolhidos por meio de um edital público aberto.. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (4) . Integrantes: Higor Amario de Souza - Integrante / Fabio Kon - Coordenador / Ana Yoon Faria de Lima - Integrante / Flavio Soares de Freitas - Integrante / Tainá Souza Pacheco - Integrante / Jorge Harrisonn Mantovanelli Thomes Vieira - Integrante / Jonathas Castilho - Integrante / Arthur Pilone - Integrante. Financiador(es): M2 Soluções em Engenharia LTDA - Auxílio financeiro.
      Membro: Higor Amario de Souza.
    5. 2022-2025. Analisando mudanças de código em repositórios para melhorar a localização de defeitos
      Descrição: Este projeto de pesquisa pretende investigar o impacto do uso de informação de repositórios de código em técnicas de localização de defeitos. Para isso, será investigado se mudanças no código feitas em diferentes períodos de tempo podem reduzir a quantidade de código que precisa ser inspecionado ao procurar por defeitos. Técnicas de mineração de repositórios de código serão usadas para o desenvolvimento da técnica de localização a ser proposta neste projeto. Em seguida, iremos avaliar o uso prático da técnica proposta por meio de um estudo com desenvolvedores. Espera-se que os resultados deste estudo contribuam para melhorar o desempenho de localização de defeitos e para compreender a possibilidade de seu uso em ambientes reais de desenvolvimento.. Situação: Desativado; Natureza: Pesquisa. Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) / Doutorado: (1) . Integrantes: Higor Amario de Souza - Coordenador / Ronaldo Rubens Gesse Júnior - Integrante. Número de produções C, T & A: 2
      Membro: Higor Amario de Souza.
    6. 2020-Atual. Sistemas de Software, Ciência e Engenharia de Dados e Computação de Alto Desempenho
      Descrição: O grupo contribui em pesquisa e desenvolvimento em Sistemas de Software. O foco atual do grupo está direcionado para a Internet do Futuro, Cidades Inteligentes, Software Livre e Ciência e Engenharia de Dados. O grupo vem produzindo importantes resultados publicados em periódicos internacionais e anais de conferências da área, além de compartilhados com a comunidade como software livre. Principais projetos do grupo: 1. SIDAM (financiamento FAPESP) 2. Integrade I e II (financiamento CNPq) 3. CHOReOS (financiamento Comissão Europeia) 4. CHOOSING (financiamento CAPES/COFECUB) 5. InterSCity (INCT). Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (8) / Mestrado acadêmico: (12) / Doutorado: (8) . Integrantes: Higor Amario de Souza - Integrante / Fabio Kon - Coordenador / Daniel Macedo Batista - Integrante / Eduardo Felipe Zambom Santana - Integrante / Alfredo Goldman - Integrante / LAGO, NELSON - Integrante / Paulo Roberto Miranda Meirelles - Integrante / Kelly Rosa Braguetto - Integrante.
      Membro: Higor Amario de Souza.
    7. 2018-2025. Data-driven analysis of Bike-Sharing Mobility Flows
      Descrição: Este projeto utiliza técnicas de Ciência de Dados para analisar dados de sistemas de compartilhamentro de bicicletas e também dados públicos sobre mobilidade para análise de fluxos mobilidade de bicicletas em cidades como São Paulo e Boston (EUA).. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Graduação: (2) . Integrantes: Higor Amario de Souza - Integrante / Fabio Kon - Coordenador / Roberto Hirata Junior - Integrante / Fabio Duarte - Integrante / Paolo Santi - Integrante / Carlo Ratti - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
      Membro: Higor Amario de Souza.
    8. 2018-2020. Gestão e ampliação das funcionalidades da plataforma InterSCity para cidades inteligentes
      Descrição: A plataforma InterSCity é um middleware que permite o desenvolvimento de aplicações para cidades inteligentes. Já existem algumas aplicações usando a InterSCity, como o sistema de análise de internações hospitalares realizados em Unidades do SUS na cidade de São Paulo. No entanto, diversas melhorias são necessárias para facilitar o uso da InterSCity em aplicações futuras. Este treinamento técnico tem por objetivo implementar novas funcionalidades à InterSCity para melhorar e ampliar sua aplicabilidade para demandas de aplicações reais. Tais funcionalidades incluem a visualização das informações sobre os recursos e capacidades disponíveis, o controle de versionamento das APIs do InterSCity, a disponibilização de datasets relacionados a cidades inteligentes, o suporte a gestão e processamento de Big Data, entre outras.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Higor Amario de Souza - Integrante / KON, FABIO - Integrante / Roberto Hirata Junior - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.
      Membro: Higor Amario de Souza.
    9. 2015-2016. Avaliação do uso prático de técnica de localização de defeitos
      Descrição: Depuração é uma atividade que demanda alto custo de tempo. Técnicas de localização de defeitos têm sido propostas com a intenção de reduzir os custos de desenvolvimento de programas. A maioria das técnicas gera uma lista de trechos de código que são mais suspeitos de conter defeitos. Desta forma, desenvolvedores podem usar tais listas para procurar por defeitos. Entretanto, experimentos com desenvolvedores usando tais técnicas são necessários para obter um melhor entendimento sobre seu uso prático. O objetivo desta proposta é investigar como desenvolvedores usam técnicas de localização de defeitos e qual é o esforço de localização que eles usualmente estão dispostos a gastar procurando por defeitos usando essas técnicas. Nós também pretendemos identificar fatores que influenciam a localização automatizada de defeitos, tais como a qualidade do conjunto de testes e a existência de defeitos múltiplos.O estágio de pesquisa será realizado na Georgia Institute of Technology sob a supervisão do professor Alessandro Orso. Durante o estágio, iremos desenvolver uma técnica de localização de defeitos para fornecer informações de contexto. Dois experimentos serão realizados: um experimento para avaliar o desempenho da técnica com programas e outro experimento com desenvolvedores para entender como a técnica é utilizada na prática.. Situação: Concluído; Natureza: Pesquisa. Integrantes: Higor Amario de Souza - Integrante / Marcos Lordello Chaim - Integrante / Fabio Kon - Coordenador / Alessandro Orso - Integrante. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa. Número de produções C, T & A: 1
      Membro: Higor Amario de Souza.
    10. 2014-2018. Localização de defeitos em depuração automatizada
      Descrição: A depuração é uma tarefa inerente ao processo de desenvolvimento de programas. A execução de testes e a localização e correção de defeitos correspondem a uma parcela significativa do tempo gasto no processo de criação e manutenção de programas. A automatização da atividade de depuração, principalmente a localização de defeitos, pode colaborar para reduzir tais custos e para melhorar a qualidade dos programas desenvolvidos. Diversas técnicas de localização de defeitos têm sido propostas. A maioria dessas técnicas gera como saída uma lista contendo os trechos do programa mais suspeitos de conter defeitos. No entanto, a avaliação de como os desenvolvedores usam os resultados fornecidos pelas técnicas para depurar programas ainda precisa ser mais estudada. Resultados recentes indicam que os desenvolvedores possuem um ``orçamento de esforço'' associado ao uso de uma técnica de depuração. Se o desenvolvedor não encontra o defeito dentro desse orçamento, ele muda a sua estratégia de busca. A compreensão do esforço de localização dos desenvolvedores ao usar uma técnica de depuração automatizada serve para avaliar o uso prático de tais técnicas. Este projeto de doutorado tem o objetivo de estudar e avaliar como as técnicas de depuração são usadas de forma prática e qual o esforço de localização que os desenvolvedores dispendem para procurar defeitos usando técnicas automatizadas. Dessa forma pretendemos aprimorar as técnicas para que localizem o defeito dentro do orçamento de esforço e avaliar quais são os fatores que influenciam os resultados das técnicas de depuração automatizada, como a presença de múltiplos defeitos e a qualidade do conjunto de teste usados pelas técnicas. Assim, pretende-se colaborar com os estudos sobre localização de defeitos para possibilitar seu uso na indústria de software.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Doutorado: (1) . Integrantes: Higor Amario de Souza - Integrante / Marcos Lordello Chaim - Integrante / Fabio Kon - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa. Número de produções C, T & A: 8
      Membro: Higor Amario de Souza.
    11. 2010-2012. Depuração de programas baseada em cobertura de integração
      Descrição: O objetivo deste projeto é avaliar o uso de informações de cobertura de integração para uso em depuração automatizada. Atualmente, a maioria das técnicas de depuração automatizada baseia-se em informações de cobertura de teste de unidade. O uso de informações da integração entre as unidades pode acrescentar informações sobre o comportamento de execução que ocorre entre as unidades de um programa. Pretende-se realizar experimentos em programas reais, contendo milhares de linhas de código, para avaliar a eficácia da técnica para seu uso em ambientes reais de desenvolvimento.. Situação: Concluído; Natureza: Pesquisa. Alunos envolvidos: Mestrado acadêmico: (1) . Integrantes: Higor Amario de Souza - Integrante / Marcos Lordello Chaim - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.
      Membro: Higor Amario de Souza.

Prêmios e títulos

  • Total de prêmios e títulos (1)
    1. (como orientador de Pré-Iniciação Científica) Menção honrosa no 32o. Simpósio Internacional de Iniciação Científica e Tecnológica da USP - SIICUSP - Etapa Internacional para Gabriel Campanelli Iamato, Universidade de São Paulo.. 2025.
      Membro: Higor Amario de Souza.

Participação em eventos

  • Total de participação em eventos (29)
    1. 1a. Maratona Paulista de Programação. 1a. Maratona Paulista de Programação. 2025. (Olimpíada).
    2. 33º Simpósio Internacional de Iniciação Científica e Tecnológica da Universidade de São Paulo - SIICUSP - Etapa Internacional.33º Simpósio Internacional de Iniciação Científica e Tecnológica da Universidade de São Paulo - SIICUSP - Etapa Internacional. 2025. (Simpósio).
    3. 39th Brazilian Symposium on Software Engineering - Tools track.Tools track reviewer. 2025. (Simpósio).
    4. CBSoft Artifacts Festival. CBSoft Artifacts Festival. 2025. (Congresso).
    5. International Conference on Software Engineering - Software Engineering in Practice track (ICSE-SEIP). International Conference on Software Engineering - Software Engineering in Practice track (ICSE-SEIP). 2025. (Congresso).
    6. Semana Acadêmica de Computação - SEMCOMP 28 - USP, ICMC, campus São Carlos.Projeto BikeScience: usando Ciência de Dados para a implementação de políticas públicas de mobilidade urbana ativa. 2025. (Seminário).
    7. XXXVII Congresso de Iniciação Científica da Unesp. XXXVII Congresso de Iniciação Científica da Unesp. 2025. (Congresso).
    8. 2º Ciclo de Formação e Desenvolvimento Profissional Docente UNESP. 2024. (Encontro).
    9. 38th Brazilian Symposium on Software Engineering.Mining Repositories to Analyze the Lifecycle of Frameworks and Libraries. 2024. (Simpósio).
    10. 38th Brazilian Symposium on Software Engineering - Tools track.Tools track reviewer. 2024. (Simpósio).
    11. 4th Workshop on Open Science Practices for Software Engineering (OpenScienSE 2024).Artifact reviewer. 2024. (Oficina).
    12. Encontro de Docentes do Câmpus de Bauru - XV ENDOC. 2024. (Encontro).
    13. XXIX Maratona de Programação -1a. fase. Coach. 2024. (Olimpíada).
    14. 3rd Workshop on Open Science Practices for Software Engineering (OpenScienSE 2023).Artifact reviewer. 2023. (Oficina).
    15. Endoculturação da Comunidade UNESP. 2023. (Encontro).
    16. XXIV Brazilian Symposium on Geoinformatics (GEOINFO).BikeScienceWeb: a tool for bicycle-related urban planning. 2023. (Simpósio).
    17. XXVIII Maratona de Programação -1a. fase - Bauru - SP. Monitor. 2023. (Olimpíada).
    18. EU-IoT Hackathon Sustainable Next Generation IoT Applications.Sustainable Irrigation System. 2022. (Outra).
    19. The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 21). Artifact track. 2021. (Congresso).
    20. Radartona SP - Hackathona com dados de radares.Radartona 2019 - InterSCity team. 2019. (Oficina).
    21. 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST). Jaguar: a spectrum-based fault localization tool for real-world software. 2018. (Congresso).
    22. XXXII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos.A Service Selection Mechanism Using Fault-Tolerance Techniques. 2014. (Simpósio).
    23. 7th Brazilian Workshop on Systematic and Automated Software Testing.Avaliação de Heurísticas para Localização de Defeitos. 2013. (Oficina).
    24. III Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2012. Depuração de programas baseada em cobertura de integração. 2012. (Congresso).
    25. III Semana de Sistemas de Informação da EACH-USP.Mesa de Egressos. 2012. (Outra).
    26. VIII Simpósio Brasileiro de Sistemas de Informação - SBSI 2012. 2012. (Simpósio).
    27. II Congresso Brasileiro de Software: Teoria e Prática - CBSoft 2011. 2011. (Congresso).
    28. Workshop de Capacitação para Pesquisadores da USP em Publicação Científica. 2011. (Outra).
    29. II Semana de Sistemas de Informação da EACH-USP. 2010. (Outra).

Organização de eventos

  • Total de organização de eventos (3)
    1. SOUZA, H. A.; YONEZAWA, W. M. ; SPOLON, R. ; LISBOA, C. O.. Meia Maratona de Programação. 2024. 2024.
    2. VIANNA, A. C. G. ; SOUZA, H. A. ; SPOLON, R.. Feira de Profissões da UNESP 2024. 2024. 2024.
    3. KON, F. ; GOLDMAN, A. ; BATISTA, D.M. ; SOUZA, H. A. ; LAGO, N.. II Workhop do projeto InterSCity. 2019. Congresso

Lista de colaborações

  • Colaborações endôgenas (0)



    (*) Relatório criado com produções desde 2000 até 2025
    Data de processamento: 21/01/2026 12:08:00