Leandro Terra Cunha Melo

Engenheiro de software com experiência internacional em empresas como NOKIA e SAP; especialista em C++, linguagens de programação e compiladores. Graduado e mestre pela UFMG, atualmente cursando doutorado nessa mesma instituição.

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

Acadêmico

Formação acadêmica

Doutorado em andamento em Ciências da Computação

2016 - Atual

Universidade Federal de Minas Gerais
Título: Inferências de tipos na linguagem C,
Orientador: Fernando M. Q. Pereira

Mestrado em Engenharia Elétrica

2005 - 2007

Universidade Federal de Minas Gerais
Título: Uma Biblioteca Genérica para Algoritmos Gerais e de Desenho de Grafos,Ano de Obtenção: 2007
Renato Cardoso Mesquita.

Graduação em Engenharia de Controle e Automação

1999 - 2004

Universidade Federal de Minas Gerais
Título: Desenvolvimento de uma Aplicação B2B na plataforma J2EE: Enfâse em Padrões de Desenho, Frameworks e Arquitetura MVC
Orientador: Angelo Moura Guimarães

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Português

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

Bandeira representando o idioma Alemão

Compreende Bem, Fala Razoavelmente, 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: Linguagens de Programação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Construção de Compiladores.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Lógicas e Semântica de Programas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Análise de Algoritmos e Complexidade de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Banco de Dados.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Engenharia de Software.

Produções bibliográficas

  • LEMOS MAIA NETO, ANTONIO ; TERRA CUNHA MELO, LEANDRO ; PARANAIBA VILELA NETO, OMAR ; QUINTAO PEREIRA, FERNANDO MAGNO ; BARBOSA OLIVEIRA, LEONARDO . Protecting Programs Against Memory Violation In Hardware. Revista IEEE América Latina , v. 13, p. 885-891, 2015.

  • RIBEIRO R. ; MELO, L. T. C. ; RODRIGUES M. ; PEREIRA, F. M. Q. . Compilação Parcial de Programas Escritos em C. In: Simpósio Brasileiro de Linguagens de Programação (SBLP), 2016. Simpósio Brasileiro de Linguagens de Programação (SBLP), 2016.

  • MAIA NETO A. L. ; MELO, L. T. C. ; VILELA NETO O. P. ; PEREIRA, F. M. Q. ; OLIVEIRA, L. B. . SMOV: Array Bound-Check and Access in a Single Instruction. In: IEEE Consumer Communications and Networking Conference (ICNS), 2016. IEEE Consumer Communications and Networking Conference (ICNS), 2016.

  • COTTA, L. ; FERNANDES, A. L. ; MELO, L. T. C. ; SAGGIORO, L. F. ; MAIA NETO A. L. ; LOUREIRO, A. F. ; CUNHA, I. ; OLIVEIRA, L. B. . NomadiKey: User Authentication for Smart Devices based on Nomadic Keys. In: IEEE International Conference on Communications (ICC), 2016. IEEE International Conference on Communications (ICC), 2016.

  • MAIA NETO A. L. ; FERNANDES, A. L. ; COTTA, L. ; MELO, L. T. C. ; SAGGIORO, L. F. ; LOUREIRO, A. F. ; OLIVEIRA, L. B. . Teclanômade: Uma solução de autenticação para usuários de dispositivos inteligentes baseada em Teclados Nômades. In: Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg), 2015. Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg), 2015.

  • MELO, L. T. C. ; MESQUITA, R. C. . Generic Graph Drawing. In: XX Brazilian Symposium on Computer Graphics and Image Processing,, 2007, Belo Horizonte. Anais Eletrônicos (CD-ROM, Workshop of Theses and Dissertations) do SIBGRAPI, 2007.

Projetos de pesquisa

  • 2014 - Atual

    Intel eCoSoC - Energy-Efficient Instrumentation to Secure Systems-on-a-Chip Devices, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Leandro Terra Cunha Melo - Coordenador / Leonardo B. Oliveira - Integrante / Fernando Magno Quintão Pereira - Integrante.

  • 2006 - 2009

    Desenvolvimento de Ferramenta para Geração Automática de Diagrama Ortogonal das Redes de Distribuição, Descrição: Este projeto de P&D consiste na geração automática de diagramas ortogonais compactos, baseados no Sistema de Informações Geográficas (SIG) da Light, permitindo visualização de circuitos de forma simplificada pelos operadores e a possibilidade de inclusão de novas funcionalidades. Também facilitará as atividades da área de Planejamento. A ferramenta a ser desenvolvida permitirá também a plotagem e exportação de esquemáticos com representação gráfica vetorial, de forma a suprir a necessidade de contingência do Centro de Operação da Distribuição (COD) no caso de perda total dos sistemas destinados a Operação das Redes. Os esquemáticos poderão representar a situação da rede de operação e a condição de projeto. Atualmente a construção desse tipo de representação só é viabilizada apenas através de intervenção humana. Como a quantidade de representações é usualmente extensa, e estas sofrem alterações constantes, a manutenção deste conjunto de dados através de ação humana contribui para a geração de inconsistências e defasagem nas representações, com impacto negativo sobre as ações de manutenção e restabelecimento do sistema. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Leandro Terra Cunha Melo - Coordenador / Renato Cardoso Mesquita - Integrante / Felipe Marques Terra - Integrante / Raphael Duarte Chaves - Integrante.

Histórico profissional

Experiência profissional

2012 - 2014

SAP

Vínculo: Celetista, Enquadramento Funcional: Engenheiro de Software, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

  • 12/2012 - 04/2014

    Pesquisa e desenvolvimento , SAP P&D Walldorf, .,Linhas de pesquisa

2010 - 2012

NOKIA Corporation

Vínculo: Celetista, Enquadramento Funcional: Engenheiro de Software, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

  • 03/2010 - 11/2012

    Pesquisa e desenvolvimento , Nokia P&D Berlim, .,Linhas de pesquisa

2008 - 2010

Digicade Tecnologia

Vínculo: Celetista, Enquadramento Funcional: Engenheiro de Software, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

  • 06/2008 - 02/2010

    Pesquisa e desenvolvimento , Digicade Tecnologia, .,Linhas de pesquisa

2006 - 2009

Universidade Federal de Minas Gerais

Vínculo: , Enquadramento Funcional:

2005 - 2007

Synergia Desenvolvimento de Sistemas

Vínculo: Bolsista, Enquadramento Funcional: Engenheiro de Software, Carga horária: 20