Felipe Lisboa is a Senior Verification Engineer at Arteris, where they develop innovative solutions for functional verification of Network-on-Chip systems. They were previously a Doctoral Researcher at the Institut Polytechnique de Paris from 2020 to 2024, focusing on DRAM scheduling algorithms using the Coq proof assistant. In 2023, they interned at Collins Aerospace, utilizing formal methods to create high-assurance cryptographic primitives. Felipe also gained experience as a Research and Development Intern at Trustonic in 2020. They hold multiple degrees, including a PhD in Computer Science from the Institut Polytechnique de Paris and both a Bachelor's and Master's degree in Electrical and Electronics Engineering and Computer Science.
This person is not in any teams
This person is not in any offices