Felipe Lisboa Malaquias

Bacharel em Engenharia Elétrica pela Universidade Federal de Minas Gerais (UFMG). Em 2021, obtive um duplo mestrado na Télécom Paris e na Université Paris-Saclay através do programa de duplo diploma BRAFITEC. Estou atualmente fazendo um doutorado na Télécom Paris, com data de término prevista para junho de 2024. A partir de julho de 2024, trabalharei como Engenheiro Sênior de Pesquisa Aplicada na sociedade Arteris IP, em Biot, na França. Minhas áreas de pesquisa são métodos formais, matemática discreta e arquitetura de computadores.

Informações coletadas do Lattes em 15/11/2025

Acadêmico

Formação acadêmica

Doutorado em andamento em Doutorado

2020 - Atual

Telecom ParisTech
Título: CoqDRAM ? A Foundation for Designing Formally Proven Memory Controllers
Orientador: Florian Brandner
Coorientador: Mihail Asavoae. Palavras-chave: Formal Methods; Real-time Systems; Critical Systems; Memory Controller; DRAM.Grande área: Ciências Exatas e da Terra

Mestrado em Diplôme d'Ingénieur

2018 - 2021

Telecom ParisTech
Título: Implementation of a biometric library on a multi‑core TEE, Ano de Obtenção: 2021
Orientador: Lukas Hanel
Coorientador: Florian Brandner. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Security; Biometrics; Operating Systems; Multi-core; Trusted Execution Environment.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Hardware. 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.

Graduação em Engenharia Elétrica

2015 - 2021

Universidade Federal de Minas Gerais
Orientador: Ricardo Duarte

Curso técnico/profissionalizante em Automação Industrial

2012 - 2014

Instituto Federal Minas Gerais

Ensino Médio (2º grau)

2012 - 2014

Instituto Federal Minas Gerais

Idiomas

Inglês

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

Espanhol

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

Português

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

Italiano

Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.

Francês

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

Alemão

Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.

Á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.

Produções bibliográficas

LISBOA MALAQUIAS, FELIPE ; GIANTAMIDIS, GEORGIOS ; BASAGIANNIS, STYLIANOS ; FULVIO ROLLINI, SIMONE ; AMUNDSON, ISAAC . Towards a Methodology to Design Provably Secure Cyber-physical Systems. ACM SIGAda Ada Letters , v. 43, p. 94-99, 2023.
LISBOA MALAQUIAS, FELIPE ; Asavoae, Mihail ; BRANDNER, FLORIAN . A formal framework to design and prove trustworthy memory controllers. REAL-TIME SYSTEMS , v. 59, p. 664-704, 2023.
Malaquias, Felipe Lisboa ; Asavoae, Mihail ; BRANDNER, FLORIAN . From the Standards to Silicon: Formally Proved Memory Controllers. Lecture Notes in Computer Science. 1ed.: Springer Nature Switzerland, 2023, v. , p. 295-311.
LISBOA MALAQUIAS, FELIPE ; BRANDNER, FLORIAN . A Coq Framework for More Trustworthy DRAM Controllers. In: RTNS 2022: The 30th International Conference on RealTime Networks and Systems, 2022, Paris France. Proceedings of the 30th International Conference on Real-Time Networks and Systems. New York: ACM, 2022. p. 140.
MALAQUIAS, F. L. . CoRA - Competição de Robôs Autônomos. 2016 (Competição) .

Prêmios

2022

Best Paper Award, RTNS 2022.

2021

1st place in National Student Competition, Thales, CNFM, and the GdR SOC2.

2018

BRAFITEC Grant Holder, CAPES.

2016

1st place in Regional Robotics Student Competition, PETEE - UFMG.

Histórico profissional

Endereço profissional

Arteris IP. , 240 Rue Evariste Galois, Biot, Biot, 06410 - Biot, - França, Telefone: (33) 1613738